Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Database updates in the event calculus
Journal of Logic Programming
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Sound and efficient closed-world reasoning for planning
Artificial Intelligence
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for programming database transactions
Logics for databases and information systems
Deductive and Object Data Languages: A Quest for Integration
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Results on Reasoning about Updates in Transaction Logic
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Rules and Ontologies for the Semantic Web
Reasoning Web
A unified semantics for constraint handling rules in transaction logic
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.