On the relationship between autoepistemic logic and parallel circumscription
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Nonmonotonic default modal logics
Journal of the ACM (JACM)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inheritance in natural language processing
Computational Linguistics - Special issue on inheritance: I
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
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
Circumscription with homomorphisms: solving the equality and counterexample problems
Journal of the ACM (JACM)
The complexity of logic-based abduction
Journal of the ACM (JACM)
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Fixpoint 3-valued semantics for autoepistemic logic
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic
Artificial Intelligence Review
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Lying versus refusal for known potential secrets
Data Engineering
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
An argument-based approach to reasoning with specificity
Artificial Intelligence
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
Journal of Logic, Language and Information
Henry Prakken, Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Journal of Logic, Language and Information
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
Minds and Machines
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations
Artificial Intelligence Review
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
High-Level Petri Net Model of Logic Program with Negation
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
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Non-Monotonic Knowledge Evolution in VLKDBs
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Disjunctive Logic Programming: A Survey and Assessment
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
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
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Persistence and Minimality in Epistemic Logic
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Capturing Stationary and Regular Extensions with Reiter's Extensions
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with 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
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
The description logic handbook
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
A tutorial on default reasoning
The Knowledge Engineering Review
Logical methods for computational intelligence
The Knowledge Engineering Review
Semantics of temporal queries and temporal data
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
A practical nonmonotonic theory for reasoning about speech acts
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Reasoning with infinite stable models
Artificial Intelligence
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
Artificial Intelligence - Special issue on nonmonotonic reasoning
Nonmonotonic default modal logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Bilattices and modal operators
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
On perfect introspection with quantifying-in: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Annals of Mathematics and Artificial Intelligence
Knowledge and communication: a first-order theory
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Metacognition in computation: a selected research review
Artificial Intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Any-world assumptions in logic programming
Theoretical Computer Science
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Where fail-safe default logics fail
ACM Transactions on Computational Logic (TOCL)
A logical framework for identifying quality knowledge from different data sources
Decision Support Systems
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Argumentation in artificial intelligence
Artificial Intelligence
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
Journal of Logic, Language and Information
Semantic forgetting in answer set programming
Artificial Intelligence
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
Dynamic inference control in privacy preference enforcement
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
Hyperequivalence of logic programs with respect to supported models
Annals of Mathematics and Artificial Intelligence
A non-preferential semantics of non-monotonic modal logic
Annals of Mathematics and Artificial Intelligence
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
Autoepistemic Theory and Paraconsistent Logic Program
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
A Simple Modal Logic for Reasoning about Revealed Beliefs
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
Complexity of prioritized default logics
Journal of Artificial Intelligence Research
Minimal change and maximal coherence: a basis for belief revision and reasoning about actions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An evidence-based framework for a theory of inheritance
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between truth maintenance and autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The power of beliefs or translating default logic into standard autoepistemic logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Model checking for nonmonotonic logics: algorithms and complexity
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the relation between default theories and autoepistemic logic
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Relating default logic and circumscription
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Constructive tightly grounded autoepistemic reasoning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
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
Programming in autoepistemic logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
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
On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
The computational complexity of ideal semantics
Artificial Intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Reconciling description logics and rules
Journal of the ACM (JACM)
Introduction to part III: decision support by advanced logic programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Integrating rules and description logics with circumscription for the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Logic-based knowledge representation
Artificial intelligence today
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Production systems need negation as failure
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Computing the extensions of autoepistemic and default logics with a truth maintenance system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Causal theories for nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A formal theory of multiple agent nonmonotonic reasoning
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
A probabilistic interpretation for lazy nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Logical task modelling for man-machine dialogue
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Subnormal modal logics for knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Algebraic sematics for cumulative inference operations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about only knowing with many agents
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
A qualitative approach to uncertainty
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Thirteen definitions of a stable model
Fields of logic and computation
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Autodoxastic conditional reasoning: the monotonic case
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
On the intertranslatability of argumentation semantics
Journal of Artificial Intelligence Research
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Sequential thresholds: context sensitive default extensions
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Possible world partition sequences: a unifying framework for uncertain reasoning
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Modal logics for qualitative possibility and beliefs
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Default reasoning with preference within only knowing logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Some properties of plausible reasoning
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
The Complexity of Reasoning for Fragments of Autoepistemic Logic
ACM Transactions on Computational Logic (TOCL)
Auditing and inference control for privacy preservation in uncertain environments
EuroSSC'06 Proceedings of the First European conference on Smart Sensing and Context
Negation, opposition, and possibility in logical concept analysis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
On the parameterized complexity of default logic and autoepistemic logic
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Irrationality in persuasive argumentation
Logic Programs, Norms and Action
To vladimir lifschitz on his 65th birthday
Correct Reasoning
From turner's logic of universal causation to the logic of GK
Correct Reasoning
Correct Reasoning
Correct Reasoning
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
A New Method Of Circumscribing Beliefs The Propositional Case
Fundamenta Informaticae
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
On a Logical Basis of Normal Logic Programs
Fundamenta Informaticae
On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
An Approach To Context-Based Default Reasoning
Fundamenta Informaticae
What Is A Nonmonotonic Consequence Relation?
Fundamenta Informaticae
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
Argumentation logic to assist in security administration
Proceedings of the 2012 workshop on New security paradigms
Trust and ecological rationality in a computing context
ACM SIGCAS Computers and Society - Selected Papers from The Ninth International Conference on Computer Ethics: Philosophical Enquiry
The complexity of theorem proving in autoepistemic logic
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
A rational extension of stable model semantics to the full propositional language
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Approximating operators and semantics for abstract dialectical frameworks
Artificial Intelligence
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Fuzzy logic and self-referential reasoning: a comparative study with some new concepts
Artificial Intelligence Review
| Hi-index | 0.00 |