Programming in logic without logic programming

DOI10.1017/S1471068416000041zbMath1379.68095arXiv1601.00529OpenAlexW2222166069MaRDI QIDQ4593027

Fariba Sadri, Robert Kowalski

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.00529

zbMATH Keywords

LPSmodel generationstate-transition systemsKELPSreactive models

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Obligation as optimal goal satisfaction ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ onlineSPARC: A Programming Environment for Answer Set Programming ⋮ Reactive Answer Set Programming

Uses Software

• RuleML
• SATCHMO
• oClingo
• SCIFF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reactive computing as model generation
• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• A logic-based calculus of events
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Abductive logic programming agents with destructive databases
• Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
• Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13--15, 2006. Proceedings
• Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
• Statecharts: a visual formalism for complex systems
• Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings
• From logic programming towards multi-agent systems
• STRIPS: A new approach to the application of theorem proving to problem solving
• A Linear-Logic Semantics for Constraint Handling Rules
• An Agent Language with Destructive Assignment and Model-Theoretic Semantics
• Constraint Handling Rules
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• Theory and practice of constraint handling rules
• The well-founded semantics for general logic programs
• A semantics for a class of stratified production system programs
• The IFF proof procedure for abductive logic programming
• Computational Logic and Human Thinking
• Verifiable agent interaction in abductive logic programming
• FLUX: A logic programming method for reasoning agents
• Sequential abstract-state machines capture sequential algorithms

This page was built for publication: Programming in logic without logic programming