Name Card

Full name Familienname, Vorname
Pearce, David
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsPräsentation Presentation2010
2Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsKonferenzbeitrag Inproceedings 2010
3Fink, Michael ; Pearce, David Some Equivalence Concepts for Hybrid TheoriesKonferenzbeitrag Inproceedings 2009
4Pearce, David ; Tompits, Hans ; Woltran, Stefan Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityBericht Report2007
5Pearce, David ; Tompits, Hans ; Woltran, Stefan Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary ReportKonferenzbeitrag Inproceedings 2007
6Pearce, David ; Schaub, Torsten ; Sarsakov, Vladimir ; Tompits, Hans ; Woltran, Stefan Polynomial Translations of Nested Logic Programs into Disjunctive Logic ProgramsBericht Report2002

Contributing Publications Mitbeteiligte Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
2Weinzierl, Antonius Learning Non-Ground Rules for Answer-Set SolvingKonferenzbeitrag Inproceedings 2013
3Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar via Planning in Answer Set ProgrammingKonferenzbeitrag Inproceedings2012
4Baumann, Ringo ; Brewka, Gerd ; Dvorak, Wolfgang ; Woltran, Stefan Parameterized Splitting: A Simple Modification-Based ApproachBuchbeitrag Book Contribution2012
5Eiter, Thomas ; Feier, Cristina ; Fink, Michael Simulating Production Rules Using ACTHEXBuchbeitrag Book Contribution 2012
6Polleres, Axel Florian ; Schindlauer, Roman DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEXKonferenzbeitrag Inproceedings 2007
7Pearce, David ; Polleres, Axel Florian ; Valverde, Agustin ; Woltran, Stefan Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)Konferenzband Proceedings2007
8Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set ProjectionKonferenzbeitrag Inproceedings 2007