Author: Gerhard Brewka
Title: Qualitative Decision Making and Answer Set Programming Extended Abstract. GI Jahrestagung 2002: 655-659 [DBLP:conf/gi/Brewka02]
Reference: Brewka02
Author: Deborah East
Author: Miroslaw Truszczynski
Title: Propositional Satisfiability in Answer-Set Programming. KI/ÖGAI 2001: 138-153 [DBLP:conf/ki/EastT01]
Reference: EastT01
Link
Author: Jürgen Dix
Author: Ugur Kuter
Author: Dana S. Nau
Title: Planning in Answer Set Programming Using Ordered Task Decomposition. KI 2003: 490-504 [DBLP:conf/ki/DixKN03]
Reference: DixKN03
Link
Author: Gerhard Brewka
Author: Thomas Eiter
Title: Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97 [DBLP:conf/kr/BrewkaE98]
Reference: BrewkaE98
Author: Thomas Eiter
Author: Wolfgang Faber
Author: Michael Fink
Author: Gerald Pfeifer
Author: Stefan Woltran
Title: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387 [DBLP:conf/kr/EiterFFPW04]
Reference: EiterFFPW04
Author: Thomas Eiter
Author: Thomas Lukasiewicz
Author: Roman Schindlauer
Author: Hans Tompits
Title: Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004: 141-151 [DBLP:conf/kr/EiterLST04]
Reference: EiterLST04
Author: Enrico Giunchiglia
Author: Yuliya Lierler
Author: Marco Maratea
Title: A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196 [DBLP:conf/nmr/GiunchigliaLM04]
Reference: GiunchigliaLM04
Link
Author: Victor W. Marek
Author: Jeffrey B. Remmel
Title: Answer set programming with default logic. NMR 2004: 276-284 [DBLP:conf/nmr/MarekR04]
Reference: MarekR04
Link
Author: Giovambattista Ianni
Author: Giuseppe Ielpa
Author: Adriana Pietramala
Author: Maria Carmela Santoro
Author: Francesco Calimeri
Title: Enhancing answer set programming with templates. NMR 2004: 233-239 [DBLP:conf/nmr/IanniIPSC04]
Reference: IanniIPSC04
Link
Author: Pascal Nicolas
Author: Laurent Garcia
Author: Igor Stéphan
Title: A possibilistic approach to restore consistency in answer set programming. NMR 2004: 306-312 [DBLP:conf/nmr/NicolasGS04]
Reference: NicolasGS04
Link
Author: Omar Elkhatib
Author: Enrico Pontelli
Author: Tran Cao Son
Title: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163 [DBLP:conf/nmr/ElkhativPS04]
Reference: ElkhativPS04
Link
Author: Francesco Calimeri
Author: Wolfgang Faber
Author: Nicola Leone
Author: Gerald Pfeifer
Title: Pruning operators for answer set programming systems. NMR 2002: 200-209 [DBLP:conf/nmr/CalimeriFLP02]
Reference: CalimeriFLP02
Author: Yan Zhang
Author: Norman Y. Foo
Title: Answer Sets for Prioritized Logic Programs. ILPS 1997: 69-83 [DBLP:conf/slp/ZhangF97]
Reference: ZhangF97
Author: David Pearce
Title: Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP 2000: 17 [DBLP:conf/wlp/Pearce00]
Reference: Pearce00
Author: David Pearce
Title: Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP 1994: 52-55 [DBLP:conf/wlp/Pearce94]
Reference: Pearce94
Author: Fangzhen Lin
Author: Yuting Zhao
Title: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. AAAI/IAAI 2002: 112- [DBLP:conf/aaai/LinZ02]
Reference: LinZ02
Author: Deborah East
Author: Miroslaw Truszczynski
Title: DATALOG with Constraints - An Answer-Set Programming System. AAAI/IAAI 2000: 163-168 [DBLP:conf/aaai/EastT00]
Reference: EastT00
Author: Enrico Giunchiglia
Author: Yuliya Lierler
Author: Marco Maratea
Title: SAT-Based Answer Set Programming. AAAI 2004: 61-66 [DBLP:conf/aaai/GiunchigliaLM04]
Reference: GiunchigliaLM04
Author: Christian Anger
Author: Kathrin Konczak
Author: Thomas Linke
Title: NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. IJCAR 2001: 325-330 [DBLP:conf/cade/AngerKL01]
Reference: AngerKL01
Link
Author: David Pearce
Author: Agustín Valverde
Title: Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392 [DBLP:conf/ecai/PearceV04]
Reference: PearceV04
Author: Selim T. Erdogan
Author: Vladimir Lifschitz
Title: Definitions in Answer Set Programming: (Extended Abstract). ICLP 2003: 483-484 [DBLP:conf/iclp/ErdoganL03]
Reference: ErdoganL03
Link
Author: Yuting Zhao
Author: Fangzhen Lin
Title: Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. ICLP 2003: 239-253 [DBLP:conf/iclp/ZhaoL03]
Reference: ZhaoL03
Link
Author: Toshiko Wakaki
Author: Katsumi Inoue
Title: Compiling Prioritized Circumscription into Answer Set Programming. ICLP 2004: 356-370 [DBLP:conf/iclp/WakakiI04]
Reference: WakakiI04
Link
Author: David Pearce
Title: Simplifying Logic Programs Under Answer Set Semantics. ICLP 2004: 210-224 [DBLP:conf/iclp/Pearce04]
Reference: Pearce04
Link
Author: Michael Gelfond
Title: Answer Set Programming and the Design of Deliberative Agents. ICLP 2004: 19-26 [DBLP:conf/iclp/Gelfond04]
Reference: Gelfond04
Link
Author: Esra Erdem
Author: Martin D. F. Wong
Title: Rectilinear Steiner Tree Construction Using Answer Set Programming. ICLP 2004: 386-399 [DBLP:conf/iclp/ErdemW04]
Reference: ErdemW04
Link
Author: Xiumei Jia
Author: Jia-Huai You
Author: Li-Yan Yuan
Title: Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP 2004: 400-415 [DBLP:conf/iclp/JiaYY04]
Reference: JiaYY04
Link
Author: Enrico Pontelli
Title: Experiments in Parallel Execution of Answer Set Programs. IPDPS 2001: 20 [DBLP:conf/ipps/Pontelli01]
Reference: Pontelli01
Author: Toshiko Wakaki
Author: Katsumi Inoue
Author: Chiaki Sakama
Author: Katsumi Nitta
Title: Computing Preferred Answer Sets in Answer Set Programming. LPAR 2003: 259-273 [DBLP:conf/lpar/WakakiISN03]
Reference: WakakiISN03
Link
Author: Thomas Linke
Author: Vladimir Sarsakov
Title: Suitable Graphs for Answer Set Programming. LPAR 2004: 154-168 [DBLP:conf/lpar/LinkeS04]
Reference: LinkeS04
Link
Author: Esra Erdem
Author: Vladimir Lifschitz
Author: Luay Nakhleh
Author: Donald Ringe
Title: Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. PADL 2003: 160-176 [DBLP:conf/padl/ErdemLNR03]
Reference: ErdemLNR03
Link
Author: Enrico Pontelli
Author: Omar El-Khatib
Title: Construction and Optimization of a Parallel Engine for Answer Set Programming. PADL 2001: 288-303 [DBLP:conf/padl/PontelliE01]
Reference: PontelliE01
Link
Author: Omar Elkhatib
Author: Enrico Pontelli
Author: Tran Cao Son
Title: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162 [DBLP:conf/padl/ElkhatibPS04]
Reference: ElkhatibPS04
Link
Author: Daniel R. Brooks
Author: Esra Erdem
Author: James W. Minett
Author: Donald Ringe
Title: Character-Based Cladistics and Answer Set Programming. PADL 2005: 37-51 [DBLP:conf/padl/BrooksEMR05]
Reference: BrooksEMR05
Link
Author: Mauricio Osorio
Author: Juan A. Navarro
Title: Answer Set Programming and S4. IBERAMIA 2004: 353 [DBLP:conf/iberamia/OsorioN04]
Reference: OsorioN04
Link
Author: Stijn Heymans
Author: Dirk Vermeir
Title: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588 [DBLP:conf/dexaw/HeymansV03]
Reference: HeymansV03
Link
Author: Marina De Vos
Title: Implementing Ordered Choice Logic Programming using Answer Set Solvers. FoIKS 2004: 59-77 [DBLP:conf/foiks/Vos04]
Reference: Vos04
Link
Author: Gang Wu
Author: Guohui Lin
Author: Jia-Huai You
Title: Quartet Based Phylogeny Reconstruction with Answer Set Programming. ICTAI 2004: 612-619 [DBLP:conf/ictai/WuLY04]
Reference: WuLY04
Link
Author: Wolfgang Faber
Author: Nicola Leone
Author: Gerald Pfeifer
Title: Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640 [DBLP:conf/ijcai/FaberLP01]
Reference: FaberLP01
Author: Jia-Huai You
Author: Li-Yan Yuan
Author: Zhang Mingyi
Title: On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI 2003: 859-866 [DBLP:conf/ijcai/YouYM03]
Reference: YouYM03
Author: Pascal Nicolas
Author: Frédéric Saubion
Author: Igor Stéphan
Title: Answer Set Programming by Ant Colony Optimization. JELIA 2002: 481-492 [DBLP:conf/jelia/NicolasSS02]
Reference: NicolasSS02
Link
Author: Davy Van Nieuwenborgh
Author: Dirk Vermeir
Title: Preferred Answer Sets for Ordered Logic Programs. JELIA 2002: 432-443 [DBLP:conf/jelia/NieuwenborghV02]
Reference: NieuwenborghV02
Link
Author: Michael Gelfond
Title: The USA-Advisor: A Case Study in Answer Set Programming. JELIA 2002: 566-568 [DBLP:conf/jelia/Gelfond02]
Reference: Gelfond02
Link
Author: Gerhard Brewka
Author: Ilkka Niemelä
Author: Tommi Syrjänen
Title: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002: 444-455 [DBLP:conf/jelia/BrewkaNS02]
Reference: BrewkaNS02
Link
Author: Francesco Calimeri
Author: Giovambattista Ianni
Author: Giuseppe Ielpa
Author: Adriana Pietramala
Author: Maria Carmela Santoro
Title: A System with Template Answer Set Programs. JELIA 2004: 693-697 [DBLP:conf/jelia/CalimeriIIPS04]
Reference: CalimeriIIPS04
Link
Author: Maarten Mariën
Author: David Gilis
Author: Marc Denecker
Title: On the Relation Between ID-Logic and Answer Set Programming. JELIA 2004: 108-120 [DBLP:conf/jelia/MarienGD04]
Reference: MarienGD04
Link
Author: Stefan Woltran
Title: Characterizations for Relativized Notions of Equivalence in Answer Set Programming. JELIA 2004: 161-173 [DBLP:conf/jelia/Woltran04]
Reference: Woltran04
Link
Author: Jonathan Ben-Naim
Author: Salem Benferhat
Author: Odile Papini
Author: Eric Würbel
Title: An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. JELIA 2004: 604-616 [DBLP:conf/jelia/Ben-NaimBPW04]
Reference: Ben-NaimBPW04
Link
Author: Andreas Bösel
Author: Thomas Linke
Author: Torsten Schaub
Title: Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004: 702-705 [DBLP:conf/jelia/BoselLS04]
Reference: BoselLS04
Link
Author: Yan Zhang
Author: Yun Bai
Title: The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. ISMIS 2003: 349-356 [DBLP:conf/ismis/ZhangB03]
Reference: ZhangB03
Link
Author: David Pearce
Title: Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR 1993: 457-475 [DBLP:conf/lpnmr/Pearce93]
Reference: Pearce93
Author: Wolfgang Faber
Author: Nicola Leone
Author: Gerald Pfeifer
Title: Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308 [DBLP:conf/lpnmr/FaberLP01]
Reference: FaberLP01
Link
Author: Deborah East
Author: Miroslaw Truszczynski
Title: aspps - An Implementation of Answer-Set Programming with Propositional Schemata. LPNMR 2001: 402-405 [DBLP:conf/lpnmr/EastT01]
Reference: EastT01
Link
Author: Tran Cao Son
Author: Chitta Baral
Author: Sheila A. McIlraith
Title: Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR 2001: 226-239 [DBLP:conf/lpnmr/SonBM01]
Reference: SonBM01
Link
Author: Yuliya Lierler
Author: Marco Maratea
Title: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350 [DBLP:conf/lpnmr/LierlerM04]
Reference: LierlerM04
Link
Author: Jeffrey Ward
Author: John S. Schlipf
Title: Answer Set Programming with Clause Learning. LPNMR 2004: 302-313 [DBLP:conf/lpnmr/WardS04]
Reference: WardS04
Link
Author: Kathrin Konczak
Author: Thomas Linke
Author: Torsten Schaub
Title: Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140 [DBLP:conf/lpnmr/KonczakLS04]
Reference: KonczakLS04
Link
Author: Yannis Dimopoulos
Author: Antonis C. Kakas
Author: Loizos Michael
Title: Reasoning About Actions and Change in Answer Set Programming. LPNMR 2004: 61-73 [DBLP:conf/lpnmr/DimopoulosKM04]
Reference: DimopoulosKM04
Link
Author: Orkunt Sabuncu
Author: Ferda Nur Alpaslan
Author: Varol Akman
Title: Using Criticalities as a Heuristic for Answer Set Programming. LPNMR 2004: 234-246 [DBLP:conf/lpnmr/SabuncuAA04]
Reference: SabuncuAA04
Link
Author: Gerhard Brewka
Title: Answer Sets: From Constraint Programming Towards Qualitative Optimization. LPNMR 2004: 34-46 [DBLP:conf/lpnmr/Brewka04]
Reference: Brewka04
Link
Author: Thomas Eiter
Author: Axel Polleres
Title: Towards Automated Integration of Guess and Check Programs in Answer Set Programming. LPNMR 2004: 100-113 [DBLP:conf/lpnmr/EiterP04]
Reference: EiterP04
Link
Author: Paul Borchert
Author: Christian Anger
Author: Torsten Schaub
Author: Miroslaw Truszczynski
Title: Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. LPNMR 2004: 3-7 [DBLP:conf/lpnmr/BorchertAST04]
Reference: BorchertAST04
Link
Author: Mauricio Osorio
Author: Juan A. Navarro
Author: José Arrazola
Title: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75 [DBLP:conf/lopstr/OsorioNA01]
Reference: OsorioNA01
Link
Author: Stijn Heymans
Author: Dirk Vermeir
Title: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159 [DBLP:conf/ppswr/HeymansV03]
Reference: HeymansV03
Link
Author: Marina De Vos
Author: Alessandro Provetti
Title: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003. Answer Set Programming 2003 [DBLP:conf/asp/2003]
Reference: 2003
Author: Stijn Heymans
Author: Dirk Vermeir
Title: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003 [DBLP:conf/asp/HeymansV03]
Reference: HeymansV03
Link
Author: Giovambattista Ianni
Author: Giuseppe Ielpa
Author: Adriana Pietramala
Author: Maria Carmela Santoro
Title: Answer Set Programming with Templates. Answer Set Programming 2003 [DBLP:conf/asp/IanniIPS03]
Reference: IanniIPS03
Link
Author: Thomas Linke
Title: Using Nested Logic Programs for Answer Set Programming. Answer Set Programming 2003 [DBLP:conf/asp/Linke03a]
Reference: Linke03a
Link
Author: Thomas Eiter
Author: Wolfgang Faber
Author: Michael Fink
Author: Gerald Pfeifer
Author: Stefan Woltran
Title: Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003 [DBLP:conf/asp/EiterFFPW03]
Reference: EiterFFPW03
Link
Author: Thomas Linke
Title: Suitable Graphs for Answer Set Programming. Answer Set Programming 2003 [DBLP:conf/asp/Linke03]
Reference: Linke03
Link
Author: Stefania Costantini
Author: Andrea Formisano
Author: Eugenio G. Omodeo
Title: Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003 [DBLP:conf/asp/CostantiniFO03]
Reference: CostantiniFO03
Link
Author: Kathrin Konczak
Author: Torsten Schaub
Author: Thomas Linke
Title: Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming 2003 [DBLP:conf/asp/KonczakSL03a]
Reference: KonczakSL03a
Link
Author: Kathrin Konczak
Author: Torsten Schaub
Author: Thomas Linke
Title: Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming 2003 [DBLP:conf/asp/KonczakSL03]
Reference: KonczakSL03
Link
Author: James P. Delgrande
Author: M. Gharib
Author: Robert E. Mercer
Author: Vincent Risch
Author: Torsten Schaub
Title: Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming 2003 [DBLP:conf/asp/DelgrandeGMRS03]
Reference: DelgrandeGMRS03
Link
Author: Yuliya Lierler
Author: Marco Maratea
Title: Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming 2003 [DBLP:conf/asp/LierlerM03]
Reference: LierlerM03
Link
Author: Orkunt Sabuncu
Author: Ferda Nur Alpaslan
Author: Varol Akman
Title: Using Criticalities as a Heuristics for Answer Set Programming. Answer Set Programming 2003 [DBLP:conf/asp/SabuncuAA03]
Reference: SabuncuAA03
Link
Author: Stefania Costantini
Title: Component-Based Answer Set Programming. LA-NMR 2004 [DBLP:conf/lanmr/Costantini04]
Reference: Costantini04
Link
Author: Isabella Cattinelli
Author: Maria Luisa Damiani
Author: Andrea Nucita
Title: Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming. LA-NMR 2004 [DBLP:conf/lanmr/CattinelliDN04]
Reference: CattinelliDN04
Link
Author: Stefania Costantini
Author: Andrea Formisano
Author: Eugenio G. Omodeo
Title: Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158 [DBLP:conf/agp/CostantiniFO03]
Reference: CostantiniFO03
Author: Giovambattista Ianni
Author: Francesco Calimeri
Author: Vincenzino Lio
Author: Stefania Galizia
Title: Reasoning about the Semantic Web using Answer Set Programming. APPIA-GULP-PRODE 2003: 324-336 [DBLP:conf/agp/IanniCLG03]
Reference: IanniCLG03
Author: Marina De Vos
Title: An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373 [DBLP:conf/agp/Vos03]
Reference: Vos03
Author: Gerhard Brewka
Author: Thomas Eiter
Title: Preferred Answer Sets for Extended Logic Programs. Artif. Intell. 109(1-2): 297-356 (1999) [DBLP:journals/ai/BrewkaE99]
Reference: BrewkaE99
Link
Author: Vladimir Lifschitz
Title: Answer set programming and plan generation. Artif. Intell. 138(1-2): 39-54 (2002) [DBLP:journals/ai/Lifschitz02]
Reference: Lifschitz02
Link
Author: Fangzhen Lin
Author: Yuting Zhao
Title: ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1-2): 115-137 (2004) [DBLP:journals/ai/LinZ04]
Reference: LinZ04
Link
Author: Torsten Schaub
Author: Kewen Wang
Title: A semantic framework for preference handling in answer set programming. CoRR cs.AI/0301023: (2003) [DBLP:journals/corr/cs-AI-0301023]
Reference: cs-AI-0301023
Link
Author: Mauricio Osorio
Author: Juan A. Navarro
Author: José Arrazola
Title: Applications of Intuitionistic Logic in Answer Set Programming. CoRR cs.LO/0305046: (2003) [DBLP:journals/corr/cs-LO-0305046]
Reference: cs-LO-0305046
Link
Author: Thomas Eiter
Author: Wolfgang Faber
Author: Nicola Leone
Author: Gerald Pfeifer
Title: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. CoRR cs.LO/0201013: (2002) [DBLP:journals/corr/cs-LO-0201013]
Reference: cs-LO-0201013
Link
Author: Deborah East
Author: Miroslaw Truszczynski
Title: Propositional satisfiability in answer-set programming. CoRR cs.AI/0107028: (2001) [DBLP:journals/corr/cs-AI-0107028]
Reference: cs-AI-0107028
Link
Author: Deborah East
Author: Miroslaw Truszczynski
Title: aspps - an implementation of answer-set programming with propositional schemata. CoRR cs.AI/0107029: (2001) [DBLP:journals/corr/cs-AI-0107029]
Reference: cs-AI-0107029
Link
Author: Ilkka Niemelä
Author: Patrik Simons
Author: Tommi Syrjänen
Title: Smodels: A System for Answer Set Programming. CoRR cs.AI/0003033: (2000) [DBLP:journals/corr/cs-AI-0003033]
Reference: cs-AI-0003033
Link
Author: Yuliya Babovich
Author: Esra Erdem
Author: Vladimir Lifschitz
Title: Fages' Theorem and Answer Set Programming. CoRR cs.AI/0003042: (2000) [DBLP:journals/corr/cs-AI-0003042]
Reference: cs-AI-0003042
Link
Author: Deborah East
Author: Miroslaw Truszczynski
Title: DATALOG with constraints - an answer-set programming system. CoRR cs.AI/0003077: (2000) [DBLP:journals/corr/cs-AI-0003077]
Reference: cs-AI-0003077
Link
Author: Davy Van Nieuwenborgh
Author: Dirk Vermeir
Title: Preferred Answer Sets for Ordered Logic Programs. CoRR cs.LO/0407049: (2004) [DBLP:journals/corr/cs-LO-0407049]
Reference: cs-LO-0407049
Link
Author: Stefania Costantini
Author: Alessandro Provetti
Title: Normal forms for Answer Sets Programming. CoRR cs.AI/0410014: (2004) [DBLP:journals/corr/cs-AI-0410014]
Reference: cs-AI-0410014
Link
Author: Kathrin Konczak
Author: Torsten Schaub
Author: Thomas Linke
Title: Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Inform. 57(2-4): 393-421 (2003) [DBLP:journals/fuin/KonczakSL03]
Reference: KonczakSL03
Link
Author: Thomas Eiter
Author: Wolfgang Faber
Author: Nicola Leone
Author: Gerald Pfeifer
Title: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4-5): 463-498 (2003) [DBLP:journals/tplp/EiterFLP03]
Reference: EiterFLP03
Author: Chitta Baral
Author: Alessandro Provetti
Author: Tran Cao Son
Title: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003) [DBLP:journals/tplp/BaralPS03]
Reference: BaralPS03
Author: Torsten Schaub
Author: Kewen Wang
Title: A semantic framework for preference handling in answer set programming. TPLP 3(4-5): 569-607 (2003) [DBLP:journals/tplp/SchaubW03]
Reference: SchaubW03
Author: Mauricio Osorio
Author: Juan A. Navarro
Author: José Arrazola
Title: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004) [DBLP:journals/tplp/OsorioNA04]
Reference: OsorioNA04