Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642175107, 9783642175114

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying Pointer and String Analyses with Region Type Systems

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_6 ◽

2010 ◽

pp. 82-102 ◽

Author(s):

Lennart Beringer ◽

Robert Grabowski ◽

Martin Hofmann

Keyword(s):

Download Full-text

Qex: Symbolic SQL Query Explorer

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_24 ◽

2010 ◽

pp. 425-446 ◽

Author(s):

Margus Veanes ◽

Nikolai Tillmann ◽

Jonathan de Halleux

Keyword(s):

Download Full-text

Counting and Enumeration Problems with Bounded Treewidth

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_22 ◽

2010 ◽

pp. 387-404 ◽

Author(s):

Reinhard Pichler ◽

Stefan Rümmele ◽

Stefan Woltran

Keyword(s):

Bounded Treewidth ◽

Enumeration Problems

Download Full-text

Non-oblivious Strategy Improvement

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_13 ◽

2010 ◽

pp. 212-230 ◽

Author(s):

John Fearnley

Download Full-text

The TPTP World – Infrastructure for Automated Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_1 ◽

2010 ◽

pp. 1-12 ◽

Author(s):

Geoff Sutcliffe

Keyword(s):

Automated Reasoning

Download Full-text

Graded Alternating-Time Temporal Logic

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_12 ◽

2010 ◽

pp. 192-211 ◽

Author(s):

Marco Faella ◽

Margherita Napoli ◽

Mimmo Parente

Keyword(s):

Download Full-text

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_9 ◽

2010 ◽

pp. 136-153 ◽

Author(s):

Paola Bruscoli ◽

Alessio Guglielmi ◽

Tom Gundersen ◽

Michel Parigot

Keyword(s):

Cut Elimination ◽

Elimination Procedure ◽

Download Full-text

Automated Proof Compression by Invention of New Definitions

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_25 ◽

2010 ◽

pp. 447-462 ◽

Author(s):

Jiří Vyskočil ◽

David Stanovský ◽

Josef Urban

Keyword(s):

Automated Proof

Download Full-text

Synthesis of Trigger Properties

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_18 ◽

2010 ◽

pp. 312-331 ◽

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Download Full-text

The Nullness Analyser of julia

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17511-4_23 ◽

2010 ◽

pp. 405-424 ◽

Author(s):

Fausto Spoto

Download Full-text