Sciweavers

1137 search results - page 16 / 228
» Knowledge Representation with Logic Programs
Sort
View
AAAI
1996
13 years 8 months ago
Learning to Parse Database Queries Using Inductive Logic Programming
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
John M. Zelle, Raymond J. Mooney
IFIP
2010
Springer
13 years 6 months ago
Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds
Giacomo Fiumara, Dario Maggiorini, Alessandro Prov...
IJCAI
2007
13 years 9 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...
CORR
2008
Springer
128views Education» more  CORR 2008»
13 years 7 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...
ICLP
2010
Springer
13 years 6 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma