A new method for consequence finding and compilation in restricted languages
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
Checking regulation consistency by using SOL-resolution
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Knowledge discovery by logical resolution with usefulness measure
Information organization and databases
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Minimal Answer Computation and SOL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Method of Similarity-Driven Knowledge Revision for Type Specializations
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Hypotheses Finding via Residue Hypotheses with the Resolution Principle
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses
DS '98 Proceedings of the First International Conference on Discovery Science
A Theory of Hypothesis Finding in Clausal Logic
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Induction, Abduction, and Consequence-Finding
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Logical Deduction Using the Local Computation Framework
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Hypothesis finding based on upward refinement of residue hypotheses
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
On computing all abductive explanations
Eighteenth national conference on Artificial intelligence
Induction as Consequence Finding
Machine Learning
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
Hypothesis finding with proof theoretical appropriateness criteria
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Metatheory of actions: Beyond consistency
Artificial Intelligence
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Elaborating domain descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Distributed reasoning in a peer-to-peer setting: application to the semantic web
Journal of Artificial Intelligence Research
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Compiling prioritized circumscription into extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
An analysis of approximate knowledge compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Practical partition-based theorem proving for large knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Theorem proving with structured theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Scalability study of peer-to-peer consequence finding
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
How to Produce Information About a Given Entity Using Automated Deduction Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating abductive hypotheses using an EM algorithm on BDDs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
Knowledge based discovery in systems biology using CF-induction
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
A consequence finding approach for full clausal abduction
DS'07 Proceedings of the 10th international conference on Discovery science
Towards a logical reconstruction of CF-induction
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Mode-directed inverse entailment for full clausal theories
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Abduction of distributed theories through local interactions
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Approximate knowledge compilation: the first order case
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Discovering rules by meta-level abduction
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Hypothesizing about causal networks with positive and negative effects by meta-level abduction
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Towards efficient multi-agent abduction protocols
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Probabilistic assumption-based reasoning
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Upside-down transformation in SOL/connection tableaux and its application
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Finding new consequences of an observation in a system of agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
DNF hypotheses in explanatory induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Comparison of upward and downward generalizations in CF-Induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Completing causal networks by meta-level abduction
Machine Learning
Hi-index | 0.00 |