- An Incremental Answer Set Programming Based System for Finite Model Computation
- Sokoban -Initial Information initial_at(X,Y)
- To appear in Theory and Practice of Logic Programming 1 A Framework for Compiling Preferences in
- Engineering an Incremental ASP Solver M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, and S. Thiele
- Voting Theory in Answer Set Programming Kathrin Konczak
- Merging Logic Programs under Answer Set Semantics James Delgrande1
- Advanced Preprocessing for Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andre Neumann and Torsten Schaub1 2
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
- Modelling Biological Networks by Action Languages Via Answer Set Programming
- A Top-down Procedure for Disjunctive Well-founded Institut fur Informatik, Universitat Potsdam
- Translation Threevaluedinterpretation
- Ubung zur Vorlesung Grundlagen der Logischen Programmierung
- RoboCup Simulation Marc Westphalen
- Challenges in Answer Set Solving Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub
- Making your hands dirty inspires your brain! Or how to switch ASP into Production Mode
- Programming Representation
- Computing Answer Sets with lparse and smodels Wir nehmen an, dass wir ein Logisches Programm P in der Datei test.lp vorliegen haben. Der prinzipielle
- Representing Paraconsistent Reasoning via Quantified Propositional Logic
- Ubung zur Vorlesung Logische Programmierung
- Ubung zur Vorlesung K unstliche Intelligenz
- More on noMoRe Thomas Linke, Christian Anger, and Kathrin Konczak
- Inference methods Formal preliminaries
- Programming Representation
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Universit at Potsdam Institut f ur Informatik
- GROBI -Groovy Robot Overseen by Bawdy Intelligence
- Cardinality constraints
- Strong Equivalence for Logic Programs with Preferences Wolfgang Faber
- Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories
- Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
- Debugging of Logic Programs under the Answer-Set Semantics
- Abschlubericht "Cognitive Robotics I & II"
- Meta-interpreting Logic Programs A logic program can be encoded for and interpreted by a generic
- Profiling Answer Set Programming: The Visualization Component of the noMoRe System
- How to reason credulously and skeptically within a single extension
- clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andre Neumann, and Torsten Schaub
- plasp: A Prototype for PDDL-Based Planning in ASP Martin Gebser, Roland Kaminski, Murat Knecht, and Torsten Schaub
- Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne Konig, and Torsten Schaub
- Reactive Answer Set Programming Martin Gebser, Torsten Grote, Roland Kaminski, and Torsten Schaub
- The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and
- Noname manuscript No. (will be inserted by the editor)
- Combinatorial analysis of transcription regulation of response to oxidative stresses in E. coli
- An Incremental Answer Set Programming Based System for Finite Model Computation
- The BioASP Library: ASP Solutions for Systems Biology
- Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning
- Experiences Running a Parallel Answer Set Solver on Lars Schneidenbach2
- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
- The Conflict-Driven Answer Set Solver clasp: Progress Report
- On the Input Language of ASP Grounder Gringo Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub , and Sven Thiele
- Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub
- Solution Enumeration for Projected Boolean Search Martin Gebser, Benjamin Kaufmann, and Torsten Schaub
- The System BioC for Reasoning about Biological Models in Action Language C Steve Dworschak Torsten Grote Arne Konig Torsten Schaub Philippe Veber
- A Versatile Intermediate Language for Answer Set Programming
- Conflict-Driven Disjunctive Answer Set Solving Christian Drescher and Martin Gebser and Torsten Grote and Benjamin Kaufmann and
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics based on Unfounded Sets
- A General Framework for Expressing Preferences in Causal Reasoning and Planning
- Qualitative constraint enforcement in advanced policy specification
- Incremental Answer Sets and Their Computation Martin Gebser, Mona Gharib, and Torsten Schaub
- Generic Tableaux for Answer Set Programming Martin Gebser and Torsten Schaub
- "That is Illogical Captain!" The Debugging Support Tool spock for Answer-Set Programs
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
- Head-Elementary-Set-Free Logic Programs Martin Gebser1
- Approaching the Core of Unfounded Sets Christian Anger and Martin Gebser and Torsten Schaub
- An Extended Query Language for Action Languages (and its Application to Aggregates and Preferences)
- Elementary Sets for Logic Programs Martin Gebser
- On Probing and Multi-Threading in PLATYPUS Jean Gressmann
- Expressing Default Logic Variants in Default Logic James P. Delgrande
- The nomore++ approach to answer set solving Christian Anger, Martin Gebser, Thomas Linke, Andre Neumann, and Torsten Schaub
- Loops: Relevant or Redundant? Martin Gebser and Torsten Schaub
- On Acyclic and Head-Cycle Free Nested Logic Programs
- A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
- On Computing Belief Change Operations using Quantified Boolean Formulas
- Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande
- Consistency-Based Approaches to Merging Knowledge Bases: Preliminary Report
- On Acyclic and Head-Cycle Free Nested Logic Programs Thomas Linke
- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
- nlp: A Compiler for Nested Logic Programming Vladimir Sarsakov1
- Fundamenta Informaticae XX (2003) 130 1 Graphs and colorings for answer set programming with preferences
- Graphs and colorings for answer set programming: Abridged Report
- Graphs and colorings for answer set programming with preferences: Preliminary Report
- Suitable Graphs for Answer Set Programming Thomas Linke
- Optimality Theory as a Family of Cumulative Logics Ph. Besnard, G. Fanselow, T. Schaub0
- NoMoRe: Non-Monotonic Reasoning with Logic Programs Christian Anger, Kathrin Konczak, and Thomas Linke
- Optimality Theory through Default Logic Ph. Besnard
- Reasoning credulously and skeptically within a single extension
- Towards a Classification of Preference Handling Approaches in Nonmonotonic
- plp: A Generic Compiler for Ordered Logic Programs James P. Delgrande1
- Graph Theoretical Characterization and Computation of Answer Sets Thomas Linke
- Logic Programs with Compiled Preferences James P. Delgrande1 and Torsten Schaub2 and Hans Tompits3
- Abschlussbericht Cognitive Robotics II Wintersemester 2003/04
- Universitat Potsdam Institut fur Informatik
- Universitt Potsdam Cognitive Robotics Projekt II
- RoboCup Simulation League Henrik Hinrichs 704361
- RoboCup Simulation League Henrik Hinrichs 704361
- Alle Konsultationen finden im Raum 03.04.2.14 statt. Dienstag, 10.10.2006, 10:00-11:00
- Answer Set Programming Christian Anger
- Answer Set Programming Basic idea
- Algorithms & Systems: The Smodels approach Approximation
- Crossing a river canCross boat, not leaking
- The Cmodels approach For syntactically restricted (tight) programs answer sets and models of
- Notions of Equivalence Two programs 1 and 2 are
- von Paul Borchert Lexikon: lat. Spargel.
- User Manual Release 5.5
- ECLiPSe Constraint Library Manual Release 5.5
- Embedding and Interfacing Manual Release 5.5
- Algorithms & Systems: The noMoRe approach Exemplary proceeding
- Ubung zur Vorlesung Wissensverarbeitung und Repr asentation
- Ubung zur Vorlesung Logische Programmierung
- Weak Order Equivalence for Logic Programs with Preferences
- 2 Logikprogrammierung am Beispiel Prolog 2.1 Logikprogrammierung mit einfachen Daten
- xpanda: A (Simple) Preprocessor for Adding Multi-Valued Propositions to ASP
- Reasoning with Sets of Defaults in Default Logic James P. Delgrande
- Ubung zur Vorlesung Logische Programmierung
- Ubung zur Vorlesung Logische Programmierung
- Nonmonotonic Programming
- Ubung zur Vorlesung Logische Programmierung
- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems
- Ingredients implementing
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Nonmonotonic Reasoning Motivation
- Ubung zur Vorlesung Antwortmengenprogrammierung
- 1 Merkmalstypen Name Beschreibung / Wertebereich
- Belief Revision of Logic Programs under Answer Set Semantics James Delgrande
- NQC Programmer's Guide Version 2.3 r1, by Dave Baum
- Ubung zur Vorlesung K unstliche Intelligenz
- Thomas Linke, Universit at Potsdam, WS 00/01 1 Thomas Linke, Universit at Potsdam, WS 00/01 2
- preliminaries (Propositional)
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andre Neumann, and Torsten Schaub
- Nested logic programs Semantics
- A Versatile Intermediate Language for Answer Set Programming Martin Gebser 1
- Cluster-based ASP Solving with claspar M. Gebser, R. Kaminski, B. Kaufmann, T. Schaub , and B. Schnor
- Wissensverarbeitung Minimalismus
- Ubung zur Vorlesung Wissensverarbeitung und Repr asentation
- Contraction Fundamental
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- architecture Visualizing
- Ubung zur Vorlesung K unstliche Intelligenz
- Intuitively, ''action'',
- Thomas Linke, Universit at Potsdam 1 (Unifikation)
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- x1 GB IO INTRODUCTION 1 1. Introduction. This is GB IO, the input/output module used by all GraphBase routines to access
- Nonmonotonic Programming
- Conflict-Driven Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andre Neumann and Torsten Schaub
- Projektdokumentation zur Lehrveranstaltung Cognitive Robotics
- : A System for Computing Preferred Answer Sets
- Significant Inferences: Preliminary Report Philippe Besnard
- Decision Tree Learning [read Chapter 3]
- Characterizing ASP Inferences by Unit Propagation Martin Gebser and Torsten Schaub
- 4 Pradikatenlogik 4.2 Substitutionen
- Disjunctive logic programs Semantics
- What's a head without a body? Christian Anger1 and Martin Gebser1 and Tomi Janhunen2 and Torsten Schaub1,3
- Expressing Preferences in Default Logic James P. Delgrande
- A Consistency-Based Approach for Belief Change James P. Delgrande
- A Transport Reaction Language: Preliminary Report Thibaut Henin
- Ubung zur Vorlesung Grundlagen der Logischen Programmierung
- What should an ASP Solver output? A Multiple Position Paper
- PROLOG Einfuhrung 1. Grundlagen
- Modeling and Interpreting Logic Program
- Ubung zur Vorlesung Antwortmengenprogrammierung
- Ubung zur Vorlesung K unstliche Intelligenz
- Wellfounded truthvalues
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Preferences Motivation
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Logikprogrammierung Numerierung
- propositional negationasfailure
- Belief change Revision and Contraction
- A Simple Distributed Conflict-Driven Answer Set Solver E. Ellguth1
- Paraconsistent Reasoning Motivation
- Tableau Calculi for Answer Set Programming Martin Gebser and Torsten Schaub
- Here's the beef: Answer Set Programming ! Torsten Schaub
- On the Relation between Reiter's Default Logic and its (major) Variants
- Heuristics in Conflict Resolution Christian Drescher and Martin Gebser and Benjamin Kaufmann and Torsten Schaub
- Thomas Linke, Universit at Potsdam 1 (Unifikation)
- Characterize computation
- Metainterpreting interpreted
- Abduction and Preferences in Linguistics Kathrin Konczak and Ralf Vogel
- SAT for Horn Clauses and Computation of the least Herbrand Modell
- A Glimpse of Answer Set Programming Christian Anger and Kathrin Konczak and Thomas Linke and Torsten Schaub
- Programming constraints
- Propositional propositional
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Debugging ASP Programs by Means of ASP Martin Brain1
- Ingredients for implementing reasoning 1. Logical Foundations Exact knowledge
- Under consideration for publication in Theory and Practice of Logic Programming 1 Detecting Inconsistencies in Large Biological
- The Second Answer Set Programming Competition Marc Denecker1
- York Thomas Martin Kramer
- Knowledge in Action Seminar Topics for Short Talks
- Programming http://www.cs.unipotsdam.de/wv/lehre/
- Preferences Compilation
- GrinGo: A New Grounder for Answer Set Programming Martin Gebser, Torsten Schaub , and Sven Thiele
- A Compilation of Brewka and Eiter's Approach to Prioritization
- action languages Eine Zusammenfassung der
- A platform for distributed answer set solving Jean Gressmann1
- COBA 2.0: A Consistency-Based Belief Change System James P. Delgrande1
- Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs
- On Probing and Multi-Threading in PLATYPUS J. Gressmann1 and T. Janhunen2 and R. Mercer3 and T. Schaub1,4 and S. Thiele1 and R. Tichy1
- Visualisation Manual Release 5.4
- 2 Beispiele in DLV Franziska Biegler, Christian Gehl, Kay Stasch
- Ubung zur Vorlesung Logische Programmierung
- Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub
- The First Answer Set Programming System Competition Martin Gebser1
- The noMoRe system System architecture
- BIOINFORMATICS Vol. 20 no. 10 2004, pages 14911494
- A Portfolio Solver for Answer Set Programming: Preliminary Report
- Alternative foundations for Reiter's default logic Thomas Linke and Torsten Schaub
- Disjunctive Disjunctive
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- operations, Simplification
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Ubung zur Vorlesung Logische Programmierung
- HornKlauseln HerbrandModells
- Using Nested Logic Programs for Answer Set Programming
- 2 Logikprogrammierung am Beispiel Prolog Numerierung nach Primarliteratur
- Approximation Backtracking
- Linkoping Electronic Articles in Computer and Information Science
- Interpreting Solution(s)
- Modeling biological networks by action languages via answer set programming
- Threshold extraction in metabolite concentration data Andre Floter,
- An Introduction Andrew M. Cheadle Warwick Harvey Andrew J. Sadler Joachim Schimpf
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Thomas Linke, Universit at Potsdam, 1999 0 Automatisierung
- XRay: User's Guide & Reference Manual Torsten Schaub
- Computation ``direction''.
- syntactically DavisPutnamLogemannLoveland
- Abduction and Preferences in Linguistics: Extended Abstract
- Problem solving versus Programming Representation
- A Consistency-Based Framework for Merging Knowledge Bases
- NQC User Manual Version 2.2 r1, written by Dave Baum
- A Preference-Based Framework for Updating Logic Programs
- Further Semantics Completion
- A Comparative Study of Well-founded Semantics for Disjunctive Logic Programs
- Tools for Representing and Reasoning about Biological Models in Action Language C
- Lukaszewicz-style Answer Set Programming: A Preliminary Report
- NQC Programmer's Reference Sheet -NQC 2.2 r1 -Target RCX2 -Matthew Bates -20 November 2000 Side 1 -Language Program Structure
- Erfullbarkeit von Horn-Klauseln und Berechnung des kleinsten Herbrand-Modells
- Operation of Cmodels In the process of its operations, Cmodels
- Language extensions Choice rules
- Journal of Intelligent Information Systems, 16, 229253, 2001 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Paraconsistent Multivalued
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Ubung zur Vorlesung Einf uhrung in die K unstliche Intelligenz
- Metabolic Network Expansion with Answer Set Programming
- Classical Negation Motivation
- Action languages Transition Systems
- Incremental Answer Set Programming: A Preliminary Report
- A Meta-Programming Technique for Debugging Answer-Set Programs Martin Gebser1
- Solver Construction Project I Topics for Short Talks
- Graphs and colorings for answer set programming: Abridged Report
- Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Network Reconstruction using ASP
- Under consideration for publication in Theory and Practice of Logic Programming 1 Complex Optimization in Answer Set Programming
- Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-Criteria Optimization in ASP and its
- Finite Model Computation via Answer Set Programming Martin Gebser and Orkunt Sabuncu and Torsten Schaub
- Multi-Criteria Optimization in Answer Set Programming
- Under consideration for publication in Theory and Practice of Logic Programming 1 Complex Optimization in Answer Set Programming
- To appear in EPTCS. c Martin Gebser, Roland Kaminski, Torsten Schaub
- Evolution of Ontologies using ASP Max Ostrowski1
