Simulating Production Rules Using ACTHEX

DOI10.1007/978-3-642-30743-0_15zbMath1357.68217OpenAlexW130281890MaRDI QIDQ2900521

Michael Fink, Thomas Eiter, Cristina Feier

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_15

zbMATH Keywords

production rulesACTHEX

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (1)

Reactive computing as model generation

Uses Software

• STeLP
• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Semantics and complexity of recursive aggregates in answer set programming
• Nonmonotonic causal theories
• Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
• Combining answer set programming with description logics for the semantic web
• HEX PROGRAMS WITH ACTION ATOMS
• FDNC
• Loop Formulas for Splitable Temporal Logic Programs
• Reconciling description logics and rules
• Representing action and change by logic programs

This page was built for publication: Simulating Production Rules Using ACTHEX