A semantic decomposition of defeasible logics
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
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
Defeasible Logic on an Embedded Microcontroller
Applied Intelligence
A Comparison of Sceptical NAF-Free Logic Programming Approaches
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
On designing a language for electronic commerce
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators
Applications of Declarative Programming and Knowledge Management
ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
Conceptual Modelling and Automated Implementation of Rule-Based Systems
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
DR-Prolog: a system for reasoning with rules and ontologies on the semantic web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Proving quantified literals in defeasible logic
Information Sciences: an International Journal
Spider vs. Prolog: simulating Prolog in Spider
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Spider vs. Prolog: computation control
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
Towards a dynamic metalogic implementation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Hi-index | 0.00 |