Logic for Programming, Artificial Intelligence, and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Publications Publikationen

Results 1-14 of 14 (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 ; Bjørner, Nikolaj ; Voronkov, Andrei Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
8Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena ; McMillan, Ken ; Middeldorp, Aart ; Voronkov, Andrei Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
9Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura ; Bjørner, Nikolaj ; Voronkov, Andrei r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
10Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
11Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjørner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
12Savenkov, Vadim ; Pichler, Reinhard ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
13Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Kenneth, McMillan ; Middeldorp, Aart ; Voronkov, Andrei Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013
14Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005