Issue spotting in a system for searching interpretation spaces
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Derivation from first principles of belief values generated in networks by message passing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
On the efficiency of logic-based diagnosis
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A tool in modelling disagreement in law: preferring the most specific argument
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A logical framework for modelling legal argument
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The complexity of logic-based abduction
Journal of the ACM (JACM)
The systematization of legal meta-inference
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
A parallel implementation of cost-based abductive reasoning
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abductive coordination for logic agents
Proceedings of the 1999 ACM symposium on Applied computing
ACM Computing Surveys (CSUR)
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
Similarity preservation in default logic
Annals of Mathematics and Artificial Intelligence
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Probabilistic Argumentation Systems and Abduction
Annals of Mathematics and Artificial Intelligence
A Correct Logic Programming Computation of Default Logic Extensions
Journal of Automated Reasoning
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Henry Prakken, Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Journal of Logic, Language and Information
The Nature of Nonmonotonic Reasoning
Minds and Machines
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Structural and Probabilistic Knowledge for Abductive Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Reliability Measure Theory: A Nonmonotonic Semantics
IEEE Transactions on Knowledge and Data Engineering
The learning power of belief revision
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Some Heuristics for Default Knowledge Discovery
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Open Default Theories over Closed Domains
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
How to Reason Credulously and Skeptically within a Single Extension
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Fuzzy Set in Default Reasoning
AFSS '02 Proceedings of the 2002 AFSS International Conference on Fuzzy Systems. Calcutta: Advances in Soft Computing
Clue as a Testbed for Automated Theorem Proving
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Hypotheses Finding via Residue Hypotheses with the Resolution Principle
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
An Implementation for Abductive Logic Agents
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
On the Dynamics of Default Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Improving search in a hypothetical reasoning system
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Brave Nonmonotonic Inference and Its Kinds
Annals of Mathematics and Artificial Intelligence
Preference programming: Advanced problem solving for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
Computational Linguistics
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
Argumentation structures that integrate dialectical and non-dialectical reasoning
The Knowledge Engineering Review
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Code improvements for model elimination based reasoning systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Non-prioritised ranked belief change
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Abductive logics in a belief revision framework
Journal of Logic, Language and Information
Local logics, non-monotonicity and defeasible argumentation
Journal of Logic, Language and Information
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
The generic/actual argument model of practical reasoning
Decision Support Systems
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Additive Consolidation with Maximal Change
Electronic Notes in Theoretical Computer Science (ENTCS)
Default theories over monadic languages
Theoretical Computer Science - Logic, language, information and computation
Inference of abduction theories for handling incompleteness in first-order learning
Knowledge and Information Systems - Special Issue on Mining Low-Quality Data
Active logic semantics for a single agent in a static world
Artificial Intelligence
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
Journal of Logic, Language and Information
Rules and Ontologies for the Semantic Web
Reasoning Web
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Integrating explanatory and descriptive learning in ILP
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
An ordinal bargaining solution with fixed-point property
Journal of Artificial Intelligence Research
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic reasoning and multiple belief revision
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A cumulative-model semantics for dynamic preferences on assumptions
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Quantifying information and contradiction in propositional logic through test actions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Prioritized defaults: implementation by TMS and application to diagnosis
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Propositional non-monotonic reasoning and inconsistency in symmetric neural networks
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Representing diagnostic knowledge for probabilistic Horn abduction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning under inconsistency: the forgotten connective
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On specificity in default logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Syntactic conditional closures for defeasible reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
The generic/actual argument model of practical reasoning
Decision Support Systems
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Default Theories Over Monadic Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Incorporating default inferences into plan recognition
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Nonmonotonicity and the scope of reasoning: preliminary report
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Discovering rules by meta-level abduction
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
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
NO Revision and NO Contraction
Minds and Machines
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Sequential thresholds: context sensitive default extensions
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Reasoning with qualitative probabilities can be tractable
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Knowledge-based integrative framework for hypothesis formation in biochemical networks
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
International Journal of Approximate Reasoning
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Fundamenta Informaticae
Context Hypothesization Using Probabilistic Knowledge
Fundamenta Informaticae
Fundamenta Informaticae
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Completing causal networks by meta-level abduction
Machine Learning
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |