Skip to search formSkip to main contentSkip to account menu

Logic for Programming, Artificial Intelligence and Reasoning

Known as: Logic for Programming, Artificial Intelligence, and Reasoning, International Conference on Logic Programming and Automated Reasoning, Russian Conference on Logic Programming 
The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
DBL-BrowserTermination analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Title : Caper : Automatic Verification for Fine-Grained Concurrency
Recent program logics based on separation logic emphasise a modular approach to proving functional correctness for fine-grained… 
2017
2017
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
2013
2013
Invariant-Free Deduction Systems for Temporal Logic
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive… 
Review
2012
Review
2012
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and… 
Review
2009
Review
2009
Model Checking of PSL Safety Properties
Model checking is a modern, efficient approach to gaining confidence of the correctness of complex systems. It outperforms… 
2001
2001
8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, Havana, 3-7 December
1993
1993
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
1992
1992
Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
1992
1992
Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16…
Real-time memory management for Prolog.- A process semantics of logic programs.- Logical operational semantics of Parlog Part II… 
1990
1990
Proceedings of the First Russian Conference on Logic Programming