Search results for "answer-set programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink	Finding Similar or Diverse Solutions in Answer Set Programming.	ICLP	2009	DBLP DOI BibTeX RDF	similar/diverse solutions, answer set programming, phylogenies
3	João Leite, José Júlio Alferes, Belopeta Mito	Resource allocation with answer-set programming.	AAMAS	2009	DBLP DOI BibTeX RDF	resource allocation, answer-set programming, preference representation
3	Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig	Modeling Biological Networks by Action Languages via Answer Set Programming.	Constraints	2008	DBLP DOI BibTeX RDF	Biological network model, Answer set programming, Action language
3	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Open answer set programming with guarded programs.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	fixed-point logic, open domains, Answer set programming
3	Michael Fink	Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There.	ICLP	2008	DBLP DOI BibTeX RDF	uniform equivalence, knowledge representation, program optimization, answer-set programming
3	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Towards a Type Discipline for Answer Set Programming.	TYPES	2008	DBLP DOI BibTeX RDF	many sorted interpretation, type checking, Answer set programming, grounding
3	Shujing Wang, Yan Zhang	Handling distributed authorization with delegation through answer set programming.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Access control, Knowledge representation, Authorization, Trust management, Delegation, Nonmonotonic reasoning, Answer set programming
3	Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, James W. Minett, Donald Ringe	Inferring Phylogenetic Trees Using Answer Set Programming.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Cladistics, Answer set programming, Phylogeny
3	Gang Wu, Jia-Huai You, Guohui Lin	Quartet-Based Phylogeny Reconstruction with Answer Set Programming.	IEEE/ACM Trans. Comput. Biology Bioinform.	2007	DBLP DOI BibTeX RDF	quartet, Maximum Quartet Consistency (MQC), Answer Set Programming (ASP), ultrametric matrix, Phylogeny
3	Hung Viet Le, Enrico Pontelli	Dynamic scheduling in parallel answer set programming solvers.	SpringSim	2007	DBLP DOI BibTeX RDF	scheduling, parallel computing, answer set programming, non-monotonic reasoning
3	Enrico Giunchiglia, Yuliya Lierler, Marco Maratea	Answer Set Programming Based on Propositional Satisfiability.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	answer set programming, propositional satisfiability
3	Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta	Constructing Camin-Sokal Phylogenies Via Answer Set Programming.	LPAR	2006	DBLP DOI BibTeX RDF	Camin-Sokal, answer set programming, phylogeny, maximum parsimony
3	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens	05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
3	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski	05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
3	Rafal Grabos	Answer Set Programming and Combinatorial Voting.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
3	Axel Polleres	Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
3	Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol	Applications of Preferences using Answer Set Programming.	Answer Set Programming	2005	DBLP BibTeX RDF
3	Martin Brain, Richard Watson, Marina De Vos	An Interactive Approach to Answer Set Programming.	Answer Set Programming	2005	DBLP BibTeX RDF
3	Hans Tompits, Stefan Woltran	Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.	Answer Set Programming	2005	DBLP BibTeX RDF
3	Enrico Giunchiglia, Marco Maratea	An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.	Answer Set Programming	2005	DBLP BibTeX RDF
3	Luis Tari, Chitta Baral, Saadat Anwar	A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling.	Answer Set Programming	2005	DBLP BibTeX RDF
3	Yuliya Lierler	Disjunctive Answer Set Programming via Satisfiability.	Answer Set Programming	2005	DBLP BibTeX RDF
3	Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman	Using Criticalities as a Heuristics for Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo	Mappings Between Domain Models in Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Kathrin Konczak, Torsten Schaub, Thomas Linke	Graphs and coloring for answer set programming: Preliminary Report.	Answer Set Programming	2003	DBLP BibTeX RDF
3	James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub	Lukaszewicz-style Answer Set Programming: A Preliminary Report.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro	Answer Set Programming with Templates.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Thomas Linke	Using Nested Logic Programs for Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Thomas Linke	Suitable Graphs for Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran	Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Stijn Heymans, Dirk Vermeir	Integrating Semantic Web Reasoning and Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Kathrin Konczak, Torsten Schaub, Thomas Linke	Graphs and colorings for answer set programming: Abridged Report.	Answer Set Programming	2003	DBLP BibTeX RDF
3	Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer	Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.	Answer Set Programming	2001	DBLP BibTeX RDF
3	Keijo Heljanko, Ilkka Niemelä	Answer Set Programming and Bounded Model Checking.	Answer Set Programming	2001	DBLP BibTeX RDF
3	Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski	Tabular Constraint-Satisfaction Problems and Answer Set Programming.	Answer Set Programming	2001	DBLP BibTeX RDF
3	James D. Jones	Sets as Terms for Answer Set Programming.	Answer Set Programming	2001	DBLP BibTeX RDF
3	Mauricio Osorio, Juan Carlos Nieves, Chris Giannella	Useful Transformations in Answer set programming.	Answer Set Programming	2001	DBLP BibTeX RDF
3	Victor W. Marek, Jeffrey B. Remmel	On the Foundations of Answer Set Programming.	Answer Set Programming	2001	DBLP BibTeX RDF
2	Simona Perri, Francesco Ricca, Marco Sirianni	A parallel ASP instantiator based on DLV.	DAMP	2010	DBLP DOI BibTeX RDF	parallelism, answer set programming, grounding, instantiation
2	Victor W. Marek, Jeffrey B. Remmel	Automata and Answer Set Programming.	LFCS	2009	DBLP DOI BibTeX RDF
2	Michael Thielscher	Answer Set Programming for Single-Player Games in General Game Playing.	ICLP	2009	DBLP DOI BibTeX RDF
2	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Answer Set Programming with Constraints Using Lazy Grounding.	ICLP	2009	DBLP DOI BibTeX RDF
2	Torsten Schaub, Sven Thiele	Metabolic Network Expansion with Answer Set Programming.	ICLP	2009	DBLP DOI BibTeX RDF
2	Kedian Mu, Qi Zhang, Zhi Jin	Verifying Software Requirements Based on Answer Set Programming.	KSEM	2009	DBLP DOI BibTeX RDF
2	Marcello Balduccini	How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski	The Second Answer Set Programming Competition.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Tom Crick, Martin Brain, Marina De Vos, John Fitch	Generating Optimal Code Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget	AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Duygu Çakmak, Esra Erdem, Halit Erdogan	Computing Weighted Solutions in Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Esra Erdem, Ozan Erdem, Ferhan Türe	HAPLO-ASP: Haplotype Inference Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	François Gagnon, Babak Esfandiari	Using Answer Set Programming to Enhance Operating System Discovery.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Esra Erdem	PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	James P. Delgrande, Torsten Grote, Aaron Hunter	A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner	Answer Set Programming: A Primer.	Reasoning Web	2009	DBLP DOI BibTeX RDF
2	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	Modular Nonmonotonic Logic Programming Revisited.	ICLP	2009	DBLP DOI BibTeX RDF	Modular Logic Programming, Knowledge Representation, Answer Set Programming
2	Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Experiences Running a Parallel Answer Set Solver on Blue Gene.	PVM/MPI	2009	DBLP DOI BibTeX RDF	Applications based on Message-Passing, Performance evaluation, Answer Set Programming
2	Chiaki Sakama, Katsumi Inoue	Coordination in answer set programming.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	coordination, multiagent systems, Answer set programming
2	Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang	Integrating answer set programming and constraint logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
2	Jeffrey B. Remmel	My work with Victor Marek: a mathematician looks at answer set programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03D80, 03B70
2	Georg Boenn, Martin Brain, Marina De Vos, John Fitch	Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
2	Pedro Cabalar	Partial Functions and Equality in Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
2	Ilkka Niemelä	Answer Set Programming without Unstratified Negation.	ICLP	2008	DBLP DOI BibTeX RDF
2	Victor W. Marek	Quo Vadis Answer Set Programming?	ICLP	2008	DBLP DOI BibTeX RDF
2	Chitta Baral	Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions.	ICLP	2008	DBLP DOI BibTeX RDF
2	Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber	Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
2	Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget	ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
2	Chiaki Sakama	Inductive Negotiation in Answer Set Programming.	DALT	2008	DBLP DOI BibTeX RDF
2	Torsten Schaub	Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.	FLOPS	2008	DBLP DOI BibTeX RDF
2	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
2	Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir	An introduction to fuzzy answer set programming.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30, 68T37
2	Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran	Complexity results for answer set programming with bounded predicate arities and implications.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17
2	João Leite, Manoela Ilic	Answer-Set Programming Based Dynamic User Modeling for Recommender Systems.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
2	Martin Gebser	Advanced Techniques for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
2	Emilia Oikarinen	Modular Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
2	Martin Gebser, Torsten Schaub	Generic Tableaux for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
2	Thomas Eiter	Answer Set Programming for the Semantic Web.	ICLP	2007	DBLP DOI BibTeX RDF
2	François Gagnon, Babak Esfandiari, Leopoldo E. Bertossi	A Hybrid Approach to Operating System Discovery using Answer Set Programming.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
2	Wolfgang Faber, Nicola Leone	On the Complexity of Answer Set Programming with Aggregates.	LPNMR	2007	DBLP DOI BibTeX RDF
2	Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski	The First Answer Set Programming System Competition.	LPNMR	2007	DBLP DOI BibTeX RDF
2	Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran	Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.	LPNMR	2007	DBLP DOI BibTeX RDF
2	Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre	Possibilistic uncertainty handling for answer set programming.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	PACS 68T30, 68N17, 68T27, 68T37
2	Owen Cliffe, Marina De Vos, Julian A. Padget	Answer Set Programming for Representing and Reasoning About Virtual Institutions.	CLIMA	2006	DBLP DOI BibTeX RDF
2	Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir	Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.	CLIMA	2006	DBLP DOI BibTeX RDF
2	Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang	LPForget: A System of Forgetting in Answer Set Programming.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Nonmonotonic logic programming, forgetting, answer sets
2	Martin Gebser, Torsten Schaub	Tableau Calculi for Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
2	Petra Schwaiger, Burkhard Freitag	Using Answer Set Programming for the Automatic Compilation of Assessment Tests.	ICLP	2006	DBLP DOI BibTeX RDF
2	Susanne Grell, Torsten Schaub, Joachim Selbig	Modelling Biological Networks by Action Languages Via Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
2	Katsumi Inoue, Chiaki Sakama	Generality Relations in Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
2	Martin Brain, Tom Crick, Marina De Vos, John Fitch	TOAST: Applying Answer Set Programming to Superoptimisation.	ICLP	2006	DBLP DOI BibTeX RDF
2	Ilkka Niemelä	Answer Set Programming: A Declarative Approach to Solving Search Problems.	JELIA	2006	DBLP DOI BibTeX RDF
2	Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir	Fuzzy Answer Set Programming.	JELIA	2006	DBLP DOI BibTeX RDF
2	Mauricio Osorio, Claudia Zepeda	Answer Set General Theories and Preferences.	MICAI	2006	DBLP DOI BibTeX RDF	Logic Programming, Preferences, Answer Set Programming
2	Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe	Character-Based Cladistics and Answer Set Programming.	PADL	2005	DBLP DOI BibTeX RDF
2	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Synthesis from Temporal Specifications Using Preferred Answer Set Programming.	ICTCS	2005	DBLP DOI BibTeX RDF
2	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	LPAR	2005	DBLP DOI BibTeX RDF
2	Pascal Nicolas, Laurent Garcia, Igor Stéphan	A Possibilistic Inconsistency Handling in Answer Set Programming.	ECSQARU	2005	DBLP DOI BibTeX RDF
2	Shujing Wang, Yan Zhang	Answer Set Programming for Distributed Authorization: The Language, Computations, and Application.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
2	Hans Tompits, Stefan Woltran	Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.	ICLP	2005	DBLP DOI BibTeX RDF
2	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.)	Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF