Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Double-faced rough sets and rough communication
Information Sciences—Applications: An International Journal
Tableaux for Reasoning About Atomic Updates
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Computing and Comparing Semantics of Programs in Four-Valued Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Automated deduction for many-valued logics
Handbook of automated reasoning
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Parametrized semantics of logic programs: a unifying framework
Theoretical Computer Science
Hypothesis-based semantics of logic programs in multivalued logics
ACM Transactions on Computational Logic (TOCL)
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Any-world assumptions in logic programming
Theoretical Computer Science
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic (TOCL)
Modelling uncertain positive and negative reasons in decision aiding
Decision Support Systems
A simple and expressive semantic framework for policy composition in access control
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An algebra for fine-grained integration of XACML policies
Proceedings of the 14th ACM symposium on Access control models and technologies
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
Handling contradictions in default theories
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Four-valued extension of rough sets
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
An Algorithm for Stage Semantics
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
An authorization framework resilient to policy evaluation failures
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
Probabilistic aspects: checking security in an imperfect world
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Extending paraconsistent SROIQ
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition
ACM Transactions on Information and System Security (TISSEC)
Studia Logica
Proof theory of Nelson's paraconsistent logic: A uniform perspective
Theoretical Computer Science
A fault-tolerant default logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Refining exceptions in four-valued logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Introduction to inconsistency tolerance
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
How agents should exploit tetralemma with an eastern mind in argumentation
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Inferring with inconsistent OWL DL ontology: a multi-valued logic approach
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Four-Valued semantics for default logic
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
What is an ideal logic for reasoning with inconsistency?
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A generic approach for security policies composition: position paper
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
A framework for the modular specification and orchestration of authorization policies
NordSec'10 Proceedings of the 15th Nordic conference on Information Security Technology for Applications
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
Belief functions on distributive lattices
Artificial Intelligence
Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Studia Logica
A Hierarchy of Weak Double Negations
Studia Logica
Hi-index | 0.00 |