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.003 seconds).

PreviewAuthor(s)TitleTypeIssue 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 FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function SymbolsKonferenzbeitrag Inproceedings 2007
5Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
6Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
7Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans 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 RAT EliminationKonferenzbeitrag Inproceedings 2020
10Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015
11Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005