Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Knowledge representation for commonsense reasoning with text
Computational Linguistics
Multimodal reasoning for automatic model construction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Reasoning about nonlinear system identification
Artificial Intelligence
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Logic Programs, Norms and Action
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
| Hi-index | 0.00 |