International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
 
Event type
Event for scientific audience
 
Start date
14-03-2005
End date
18-03-2005
 
Location
Montevideo, Uruguay
Montevideo, Uruguay
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Rebola Pardo, Adrian ; Suda, Martin A Theory of Satisfiability-Preserving Proofs in SAT SolvingKonferenzbeitrag Inproceedings 2018
2Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
3Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
4Simkus, Mantas ; Eiter, Thomas ; Dershowitz, Nachum ; Voronkov, Andrei FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function SymbolsKonferenzbeitrag Inproceedings 2007
5Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen ; Bjørner, Nikolaj ; Voronkov, Andrei Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
6Egly, 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
7Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Baader, Franz ; Voronkov, Andrei Nonmonotonic Description Logic Programs: Implementation and ExperimentsKonferenzbeitrag Inproceedings 2005
8Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika Quasipolynomial Set-Based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2018
9Rebola Pardo, Adrian ; Weissenbacher, Georg ; Kovacs, Laura ; Albert, Elvira RAT EliminationKonferenzbeitrag Inproceedings 2020
10Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon ; Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, Andrei Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015
11Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005