Keyword:computational complexity

Papers
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic Przemysław Andrzej Wałęga In:LPAR-22 Workshop and Short Paper Proceedings
Quantified Boolean Formulas: Call the Plumber! Josef Lindsberger, Alexander Maringele and Georg Moser In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Algebra of Combined Constraint Solving Eugenia Ternovska In:GCAI 2015. Global Conference on Artificial Intelligence
Dynamics of Argumentation Systems: A Basic Theory Beishui Liao, Li Jin and Robert Koons In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic Petr Cintula and George Metcalfe In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.