Logic for Programming, Artificial Intelligence, and Reasoning

Book title Buchtitel
Logic for Programming, Artificial Intelligence, and Reasoning
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science, Springer
Place of publishing Erscheinungsort
LNCS / 7180 / Heidelberg
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

Results 1-13 of 13 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
2Leitsch, Alexander ; Baaz, Matthias CERES in Many-Valued LogicsKonferenzbeitrag Inproceedings2005
3Fermüller, Christian ; Kosik, Robert Combining Supervaluation and Degree Based Reasoning Under VaguenessKonferenzbeitrag Inproceedings2006
4Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Goebel, Randy ; Siekmann, Jörg ; Wahlster, Wolfgang Counting and Enumeration Problems with Bounded TreewidthKonferenzbeitrag Inproceedings 2010
5Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
6Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Fast Counting with Bounded TreewidthKonferenzbeitrag Inproceedings2008
7Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen ; Bjorner, Nikolaj ; Voronkov, Andrei Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
8Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura ; Bjorner, Nikolaj ; Voronkov, Andrei r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
9Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
10Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjorner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
11Savenkov, Vadim ; Pichler, Reinhard ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
12Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Kenneth, McMillan ; Middeldorp, Aart ; Voronkov, Andrei Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013
13Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005