Logic programming as the integrator of the Fifth Generation Computer Systems project
Communications of the ACM
Proving functionally difficult problems through model generation
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Communications of the ACM
Machine Learning - special issue on inductive logic programming
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Sacre: a constraint satisfaction problem based theorem prover
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence
RRTP - A Replacement Rule Theorem Prover
Journal of Automated Reasoning
Satchmo - The Compiling and Functional Variants
Journal of Automated Reasoning
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
I-SATCHMO: An Improvement of SATCHMO
Journal of Automated Reasoning
Ordered Semantic Hyper Tableaux
Journal of Automated Reasoning
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
From Data Independence to Knowledge Independence: An on-going Story
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Theorem Proving for Constructive lambda-Calculus
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Merge Path Improvements for Minimal Model Hyper Tableaux
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
R-UNSEARCHMO: A Refinement on UNSEARCHMO
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
A General Method for Using Schematizations in Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Generating Minimal Herbrand Models Step by Step
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
A relevance restriction strategy for automated deduction
Artificial Intelligence
I-SATCHMORE: an improvement of A-SATCHMORE
Journal of Computer Science and Technology
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Constructing decision procedures in equational clausal logic
Fundamenta Informaticae
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Eliminating redundant search space on backtracking for forward chaining theorem proving
Journal of Computer Science and Technology
Relevant Answers to WH-Questions
Journal of Logic, Language and Information
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning
Encyclopedia of Computer Science
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Annotating websites with machine-processable information in controlled natural language
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
Logical Engineering with Instance-Based Methods
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Attempto Controlled English for Knowledge Representation
Reasoning Web
α lean TAP: A Declarative Theorem Prover for First-Order Classical Logic
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Business rules for semantics-aware business modelling: overview and open issues
International Journal of Web Engineering and Technology
Fundamenta Informaticae - Machines, Computations and Universality, Part I
An Improvement of Herbrand's theorem and its application to model generation theorem proving
Journal of Computer Science and Technology
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Automatic generation of some results in finite algebra
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Model elimination, logic programming and computing answers
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
UNSEARCHMO: eliminating redundant search space on backtracking for forward chaining theorem proving
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Skolem machines and geometric logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A taxonomy of theorem-proving strategies
Artificial intelligence today
Controlled English for reasoning on the semantic web
Semantic techniques for the web
Anaphora resolution involving interactive knowledge acquisition
CNL'09 Proceedings of the 2009 conference on Controlled natural language
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A controlled natural language layer for the semantic web
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Blocking and other enhancements for bottom-up model generation methods
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Enhanced theorem reuse by partial theory inclusions
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
On the undecidability of coherent logic
Processes, Terms and Cycles
E-Matching with free variables
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Fundamenta Informaticae - Machines, Computations and Universality, Part I
First-Order reasoning for attempto controlled english
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Constructing Decision Procedures in Equational Clausal Logic
Fundamenta Informaticae
Tree Automata and Automated Model Building
Fundamenta Informaticae
Model Finding In Semantically Guided Instance-Based Theorem Proving
Fundamenta Informaticae
Superposition for bounded domains
Automated Reasoning and Mathematics
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
Hi-index | 0.03 |