DR-Prolog: a system for reasoning with rules and ontologies on the semantic web

Authors:
Antonis Bikakis;Grigoris Antoniou
Affiliations:
Computer Science Department, University of Crete, Greece and Institute of Computer Science, FORTH, Crete, Greece;Computer Science Department, University of Crete, Greece and Institute of Computer Science, FORTH, Crete, Greece
Venue:
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Year:
2005

The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Prolog programming in depth

Prolog programming in depth
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Embedding Defeasible Logic into Logic Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence

Ontological logic programming

Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Reasoning support for flexible task resourcing

Expert Systems with Applications: An International Journal
O-DEVICE: an object-oriented knowledge base system for OWL ontologies

SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Combining semantic web and logic programming for agent reasoning

AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
A hybrid reasoning mechanism for effective sensor selection for tasks

Engineering Applications of Artificial Intelligence

Hi-index	0.00