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

Event name

Event type

Event for scientific audience

Start date

01-01-2012

End date

01-01-2012

Location

Montevideo

Country

Uruguay

Event format Veranstaltungsformat

On Site

Results 1-9 of 9 (Search time: 0.003 seconds).

RIS EndNote Bibtex

	Author(s)	Title	Type	Issue Date
1	Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes	Automated Benchmarking of Incremental SAT and QBF Solvers	Konferenzbeitrag Inproceedings	2015
2	Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina	Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination	Konferenzbeitrag Inproceedings	2015
3	Simkus, Mantas ; Eiter, Thomas	FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols	Konferenzbeitrag Inproceedings	2007
4	Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen	Forgetting for Defeasible Logic	Konferenzbeitrag Inproceedings	2012
5	Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena	Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving	Konferenzbeitrag Inproceedings	2013
6	Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans	Nonmonotonic Description Logic Programs: Implementation and Experiments	Konferenzbeitrag Inproceedings	2005
7	Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika	Quasipolynomial Set-Based Symbolic Algorithms for Parity Games	Konferenzbeitrag Inproceedings	2018
8	Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon	Reasoning About Loops Using Vampire in KeY	Konferenzbeitrag Inproceedings	2015
9	Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George	Uniform Rules and Dialogue Games for Fuzzy Logics	Konferenzbeitrag Inproceedings	2005