sign in · help · news · about ·

BibSonomy :: author :: Woltran ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(108)

<< < 1 | 2 | 3 > >>

Hyperequivalence of Programs and Operators.
Miroslaw Truszczynski, and Stefan Woltran ISAIM, (2008)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Equivalence between Extended Datalog Programs - A Brief Survey.
Stefan Woltran Datalog, volume 6702 of Lecture Notes in Computer Science, page 106-119. Springer, (2010)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Strong Equivalence of Qualitative Optimization Problems
Wolfgang Faber, Miroslaw Truszczynski, and Stefan Woltran CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
A New Tree-Decomposition Based Algorithm for Answer Set Programming.
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, and Stefan Woltran ICTAI, page 916-918. IEEE, (2011)
to dblp by dblp on Dec 28, 2011, 12:00 AM
URL | BibTeX
Manifold Answer-Set Programs and Their Applications.
Wolfgang Faber, and Stefan Woltran Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 44-63. Springer, (2011)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
A general approach to belief change in answer set programming
James P. Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
Thomas Eiter, Michael Fink, and Stefan Woltran CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, and Stefan Woltran CoRR (2002)
to dblp by dblp and 2 other users on Dec 5, 2011, 12:00 AM
URL | BibTeX
Characterising equilibrium logic and nested logic programs: Reductions and complexity
David Pearce, Hans Tompits, and Stefan Woltran CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Relativized hyperequivalence of logic programs for modular programming
Miroslaw Truszczynski, and Stefan Woltran CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
Uwe Egly, Thomas Eiter, Hans Tompits, and Stefan Woltran CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming
Stefan Woltran CoRR (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
Wolfgang Dvorák, Michael Morak, Clemens Nopp, and Stefan Woltran CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, and Stefan Woltran CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Strong Equivalence in Argumentation.
Stefan Woltran CLIMA, volume 6245 of Lecture Notes in Computer Science, page 14. Springer, (2010)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
Characterizations for Relativized Notions of Equivalence in Answer Set Programming.
Stefan Woltran JELIA, volume 3229 of Lecture Notes in Computer Science, page 161-173. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Parametric Properties of Ideal Semantics.
Wolfgang Dvorák, Paul E. Dunne, and Stefan Woltran IJCAI, page 851-856. IJCAI/AAAI, (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
Gerhard Brewka, Paul E. Dunne, and Stefan Woltran IJCAI, page 780-785. IJCAI/AAAI, (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Characterizing strong equivalence for argumentation frameworks.
Emilia Oikarinen, and Stefan Woltran Artif. Intell. 175(14-15):1985-2009 (2011)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
On Acyclic and Head-Cycle Free Nested Logic Programs.
Thomas Linke, Hans Tompits, and Stefan Woltran ICLP, volume 3132 of Lecture Notes in Computer Science, page 225-239. Springer, (2004)
to dblp by dblp and 1 other user on Jul 7, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper