Michael Kifer (auth.)

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2011 · ENGLISH · PDF

View details →

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992

1993 · ENGLISH · PDF

View details →

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2011 · ENGLISH · PDF

View details →

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2011 · ENGLISH · PDF

View details →

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2005 · ENGLISH · PDF

View details →

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers

1998 · ENGLISH · DJVU

View details →