On solving equations and disequations
Journal of the ACM (JACM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
A Confluent Theory Connection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Retrieval of semistructured Web data
Intelligent exploration of the web
Constraint Solving for Proof Planning
Journal of Automated Reasoning
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Integrating a spatial reasoner with a resolution theorem-prover
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Extension of first-order theories into trees
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |