Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Selected papers of international conference on Fifth generation computer systems 92
Knowledge Retrieval and the World Wide Web
IEEE Intelligent Systems
The Generative Power of Two-Level Grammars
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Natural Language Communication with Computers
Theory and Practice of Logic Programming
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
| Hi-index | 0.00 |
By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting. We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also --- in a significant departure from the norm --- arbitrary (i.e., order-independent) derivations. We show that rich and accurate knowledge extraction from text can be achieved through the use of this new formalism.