Search results for "Smodels"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Gayathri Namasivayam, Miroslaw Truszczynski	An Smodels System with Limited Lookahead Computation.	LPNMR	2007	DBLP DOI BibTeX RDF
92	Enrico Giunchiglia, Marco Maratea	On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).	ICLP	2005	DBLP DOI BibTeX RDF
46	Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko	Lookahead in Smodels Compared to Local Consistencies in CSP.	LPNMR	2005	DBLP DOI BibTeX RDF
46	Tommi Syrjänen, Ilkka Niemelä	The Smodels System.	LPNMR	2001	DBLP DOI BibTeX RDF
46	Enrico Giunchiglia, Nicola Leone, Marco Maratea	On the relation among answer set solvers.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
33	Luís Moniz Pereira, Alexandre Miguel Pinto	Layered Models Top-Down Querying of Normal Logic Programs.	PADL	2009	DBLP DOI BibTeX RDF	Smodels, XSB-XASP, Semantics, Relevance
33	Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes	On Preferring and Inspecting Abductive Models.	PADL	2009	DBLP DOI BibTeX RDF	XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
31	Gaël Alguero, Sabine Kraml, Wolfgang Waltenberger	A SModelS interface for pyhf likelihoods.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
31	Federico Ambrogi, Juhi Dutta, Jan Heisig, Sabine Kraml, Suchita Kulkarni, Ursula Laa, Andre Lessa, Philipp Neuhuber, Humberto Reyes-González, Wolfgang Waltenberger, Matthias Wolf	SModelS v1.2: Long-lived particles, combination of signal regions, and other novelties.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
31	Federico Ambrogi, Sabine Kraml, Suchita Kulkarni, Ursula Laa, Andre Lessa, Veronika Magerl, Jory Sonneveld, Michael Traub, Wolfgang Waltenberger	SModelS v1.1 user manual: Improving simplified model constraints with efficiency maps.	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
31	Emilia Oikarinen, Tomi Janhunen	Achieving compositionality of the stable model semantics for Smodels programs	CoRR	2008	DBLP BibTeX RDF
31	Emilia Oikarinen, Tomi Janhunen	Achieving compositionality of the stable model semantics for smodels programs.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
31	Tomi Janhunen, Emilia Oikarinen	Automated Verification of Weak Equivalence within the SMODELS System.	Theory Pract. Log. Program.	2007	DBLP DOI BibTeX RDF
31	Tomi Janhunen, Emilia Oikarinen	Automated verification of weak equivalence within the SMODELS system	CoRR	2006	DBLP BibTeX RDF
31	Gayathri Namasivayam	PB-smodels a Pseudo-Boolean Solver.	AAAI	2006	DBLP BibTeX RDF
31	Gang Wu, Jia-Huai You, Guohui Lin	Application of Smodels in Quartet Based Phylogeny Construction.	LPNMR	2005	DBLP DOI BibTeX RDF
31	Islam Elkabani, Enrico Pontelli, Tran Cao Son	Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.	ICLP	2004	DBLP DOI BibTeX RDF
31	Enrico Pontelli, Tran Cao Son, Islam Elkabani	Smodels with CLP?A Treatment of Aggregates in ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
31	Mutsumi Nakamura, Ramez Elmasri	Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules.	ICDE	2002	DBLP DOI BibTeX RDF
31	Ilkka Niemelä, Patrik Simons, Tommi Syrjänen	Smodels: A System for Answer Set Programming	CoRR	2000	DBLP BibTeX RDF
31	Ilkka Niemelä, Patrik Simons	Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.	LPNMR	1997	DBLP DOI BibTeX RDF
31	Guohua Liu, Jia-Huai You	Lparse Programs Revisited: Semantics and Representation of Aggregates.	ICLP	2008	DBLP DOI BibTeX RDF
31	Emilia Oikarinen	Modularity in smodelsPrograms.	LPNMR	2007	DBLP DOI BibTeX RDF
31	Emad Saad	Towards the Computation of Stable Probabilistic Model Semantics.	KI	2006	DBLP DOI BibTeX RDF
31	Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman	Using Criticalities as a Heuristic for Answer Set Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
31	Jeffrey Ward, John S. Schlipf	Answer Set Programming with Clause Learning.	LPNMR	2004	DBLP DOI BibTeX RDF
31	Tomi Janhunen, Emilia Oikarinen	Testing the Equivalence of Logic Programs under Stable Model Semantics.	JELIA	2002	DBLP DOI BibTeX RDF
31	Esra Erdem 0001, Vladimir Lifschitz	Fages' Theorem for Programs with Nested Expressions.	ICLP	2001	DBLP DOI BibTeX RDF
15	Torsten Schaub	Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.	LPNMR	2009	DBLP DOI BibTeX RDF
15	James P. Delgrande	What Next for ASP? (A Not-Entirely-Well-Informed Opinion).	LPNMR	2009	DBLP DOI BibTeX RDF
15	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
15	Yuliya Lierler	Abstract Answer Set Solvers.	ICLP	2008	DBLP DOI BibTeX RDF
15	Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio	An Implementation of Extended P-Log Using XASP.	ICLP	2008	DBLP DOI BibTeX RDF
15	Tomi Janhunen	Removing Redundancy from Answer Set Programs.	ICLP	2008	DBLP DOI BibTeX RDF
15	Julien Hué, Odile Papini, Éric Würbel	Syntactic Propositional Belief Bases Fusion with Removed Sets.	ECSQARU	2007	DBLP DOI BibTeX RDF
15	Martin Gebser, Torsten Schaub	Generic Tableaux for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
15	Emilia Oikarinen	Modular Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
15	Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni	Programming Applications in CIFF.	LPNMR	2007	DBLP DOI BibTeX RDF
15	Nicola Leone	Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.	LPNMR	2007	DBLP DOI BibTeX RDF
15	Aaron Hunter 0001, James P. Delgrande, Joel Faber	Using Answer Sets to Solve Belief Change Problems.	LPNMR	2007	DBLP DOI BibTeX RDF
15	Varvana Myllärniemi, Mikko Raatikainen, Tomi Männistö	Using a Configurator for Predictable Component Composition.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
15	Guohua Liu, Jia-Huai You	Adaptive Lookahead for Answer Set Computation.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
15	Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You	Unfolding partiality and disjunctions in stable model semantics.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
15	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Cooperating Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
15	Enrico Pontelli, Tran Cao Son	Justifications for Logic Programs Under Answer Set Semantics.	ICLP	2006	DBLP DOI BibTeX RDF
15	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
15	João Leite 0001, Luís Soares	Adding Evolving Abilities to a Multi-Agent System.	CLIMA	2006	DBLP DOI BibTeX RDF
15	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	An Ordered Logic Program Solver.	PADL	2005	DBLP DOI BibTeX RDF	Implementation, Preference, Answer Set Programming
15	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	LPAR	2005	DBLP DOI BibTeX RDF
15	Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham	LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.	DALT	2005	DBLP DOI BibTeX RDF
15	Patryk Burek, Rafal Grabos	Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach.	ESWC	2005	DBLP DOI BibTeX RDF	Reasoning in the Semantic Web, Semantic Web Inference Schemes, Ontology, Knowledge Representation
15	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	Integrating an Answer Set Solver into Prolog: ASP-PROLOG.	LPNMR	2005	DBLP DOI BibTeX RDF
15	Yuliya Lierler	cmodels - SAT-Based Disjunctive Answer Set Solver.	LPNMR	2005	DBLP DOI BibTeX RDF
15	Islam Elkabani, Enrico Pontelli, Tran Cao Son	SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates.	LPNMR	2005	DBLP DOI BibTeX RDF
15	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.	PADL	2004	DBLP DOI BibTeX RDF
15	Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz	Almost Definite Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
15	Tomi Janhunen, Ilkka Niemelä	GNT - A Solver for Disjunctive Logic Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
15	V. Wiktor Marek, Jeffrey B. Remmel	Set Constraints in Logic Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
15	Emilia Oikarinen, Tomi Janhunen	Verifying the Equivalence of Logic Programs in the Disjunctive Case.	LPNMR	2004	DBLP DOI BibTeX RDF
15	Tommi Syrjänen	Cardinality Constraint Programs.	JELIA	2004	DBLP DOI BibTeX RDF
15	Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel	An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS.	JELIA	2004	DBLP DOI BibTeX RDF
15	Luca Padovani, Alessandro Provetti	Qsmodels: ASP Planning in Interactive Gaming Environment.	JELIA	2004	DBLP DOI BibTeX RDF
15	Marina De Vos	Implementing Ordered Choice Logic Programming using Answer Set Solvers.	FoIKS	2004	DBLP DOI BibTeX RDF
15	Timo Asikainen, Timo Soininen, Tomi Männistö	A Koala-Based Approach for Modelling and Deploying Configurable Software Product Families.	PFE	2003	DBLP DOI BibTeX RDF
15	Esra Erdem 0001, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe	Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming.	PADL	2003	DBLP DOI BibTeX RDF
15	Yuting Zhao, Fangzhen Lin	Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.	ICLP	2003	DBLP DOI BibTeX RDF
15	Luigia Carlucci Aiello, Fabio Massacci	Planning Attacks to Security Protocols: Case Studies in Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
15	Jack Minker, Dietmar Seipel	Disjunctive Logic Programming: A Survey and Assessment.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
15	Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski	Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.	JELIA	2002	DBLP DOI BibTeX RDF
15	Luigia Carlucci Aiello, Fabio Massacci	Verifying security protocols as planning in logic programming.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic programming, specification language, security protocols, AI planning
15	Deborah East, Miroslaw Truszczynski	Propositional Satisfiability in Answer-Set Programming.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
15	Mauricio Osorio 0001, Juan Carlos Nieves	Stratified Partial-Order Logic Programming.	AI	2001	DBLP DOI BibTeX RDF
15	Nicola Leone, Simona Perri, Francesco Scarcello	Improving ASP Instantiators by Join-Ordering Methods.	LPNMR	2001	DBLP DOI BibTeX RDF
15	James P. Delgrande, Torsten Schaub, Hans Tompits	plp: A Generic Compiler for Ordered Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
15	Tommi Syrjänen	Omega-Restricted Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
15	Chitta Baral, Cenk Uyan	Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming.	LPNMR	2001	DBLP DOI BibTeX RDF
15	Keijo Heljanko, Ilkka Niemelä	Bounded LTL Model Checking with Stable Models.	LPNMR	2001	DBLP DOI BibTeX RDF
15	Ramón P. Otero	psmodels: Stable Models Based on Pertinence.	LPNMR	2001	DBLP DOI BibTeX RDF
15	Luigia Carlucci Aiello, Fabio Massacci	An Executable Specification Language for Planning Attacks to Security Protocols.	CSFW	2000	DBLP DOI BibTeX RDF	Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
15	David Pearce 0001, Inman P. de Guzmán, Agustín Valverde	Computing Equilibrium Models Using Signed Formulas.	Computational Logic	2000	DBLP DOI BibTeX RDF
15	Tommi Syrjänen	Including Diagnostic Information in Configuration Models.	Computational Logic	2000	DBLP DOI BibTeX RDF
15	Timo Soininen, Ilkka Niemelä	Developing a Declarative Rule Language for Applications in Product Configuration.	PADL	1999	DBLP DOI BibTeX RDF
15	Vladimir Lifschitz	Answer Set Planning (Abstract).	LPNMR	1999	DBLP DOI BibTeX RDF
15	Keijo Heljanko	Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.	TACAS	1999	DBLP DOI BibTeX RDF