Search results for "DLV"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV system for knowledge representation and reasoning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
116	Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello	Progress Report on the Disjunctive Deductive Database System dlv.	FQAS	1998	DBLP DOI BibTeX RDF
86	Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Francesco Ricca	Some DLV Applications for Knowledge Management.	LPNMR	2009	DBLP DOI BibTeX RDF
86	Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer	System Description: DLV with Aggregates.	LPNMR	2004	DBLP DOI BibTeX RDF
60	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
60	Nicola Leone, Simona Perri, Francesco Scarcello	Improving ASP Instantiators by Join-Ordering Methods.	LPNMR	2001	DBLP DOI BibTeX RDF
55	Nicola Leone, Wolfgang Faber 0001	The DLV Project: A Tour from Theory and Research to Applications and Market.	ICLP	2008	DBLP DOI BibTeX RDF
55	Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone	Enhancing DLV instantiator by backjumping techniques.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
55	Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer	New DLV Features for Data Integration.	JELIA	2004	DBLP DOI BibTeX RDF
52	Frans Sanen, Eddy Truyen, Wouter Joosen	Mapping problem-space to solution-space features: a feature interaction approach.	GPCE	2009	DBLP DOI BibTeX RDF	DLV, configuration knowledge, distributed runtime adaptation, problem-solution feature interactions, software product line engineering, default logic
51	Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari	I-DLV-sr: A Stream Reasoning System based on I-DLV.	CoRR	2021	DBLP BibTeX RDF
51	Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari	I-DLV-sr: A Stream Reasoning System based on I-DLV.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
51	Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari	I-DLV: The new intelligent grounder of DLV.	Intelligenza Artificiale	2017	DBLP DOI BibTeX RDF
51	Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari	I -dlv: The New Intelligent Grounder of dlv.	AI*IA	2016	DBLP DOI BibTeX RDF
45	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
45	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	Optimizing the Computation of Heuristics for Answer Set Programming Systems.	LPNMR	2001	DBLP DOI BibTeX RDF
40	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
40	Sung-Bae Park	DLV (Deep Low Voltage): Circuits and Devices.	PATMOS	2005	DBLP DOI BibTeX RDF
40	Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Christoph Koch 0001, Nicola Leone, Simona Perri, Gerald Pfeifer	System Description: DLV.	LPNMR	2001	DBLP DOI BibTeX RDF
30	Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres	A Rule System for Querying Persistent RDFS Data.	ESWC	2009	DBLP DOI BibTeX RDF
30	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	An ASP System with Functions, Lists, and Sets.	LPNMR	2009	DBLP DOI BibTeX RDF
30	Annamaria Bria, Wolfgang Faber 0001, Nicola Leone	nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
30	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca	On look-ahead heuristics in disjunctive logic programming.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
30	Yuliya Lierler	cmodels - SAT-Based Disjunctive Answer Set Solver.	LPNMR	2005	DBLP DOI BibTeX RDF
30	Mónica Caniupán Marileo, Leopoldo E. Bertossi	Optimizing repair programs for consistent query answering.	SCCC	2005	DBLP DOI BibTeX RDF
30	Nicola Leone, Vincenzino Lio, Giorgio Terracina	DLVDB: Adding Efficient Data Management Features to ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
30	David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran	A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.	ICLP	2002	DBLP DOI BibTeX RDF
30	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	The DLVK Planning System: Progress Report.	JELIA	2002	DBLP DOI BibTeX RDF
30	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	Pushing Goal Derivation in DLP Computations.	LPNMR	1999	DBLP DOI BibTeX RDF	Algorithms, Heuristics, Disjunctive Logic Programming
25	Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari	The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.	RuleML+RR	2022	DBLP DOI BibTeX RDF
25	W. (Matthijs) Mekking, Dan Mahoney	Moving DNSSEC Lookaside Validation (DLV) to Historic Status.	RFC	2020	DBLP DOI BibTeX RDF
25	Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari	Efficiently Coupling the I-DLV Grounder with ASP Solvers.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
25	Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari	An ASP-based Approach for Optimizing DLV Evaluation.	CILC	2019	DBLP BibTeX RDF
25	Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari	Large Scale DLV: Preliminary Results.	CILC	2019	DBLP BibTeX RDF
25	Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari	Enhancing DLV for Large-Scale Reasoning.	LPNMR	2019	DBLP DOI BibTeX RDF
25	Maxine D. Brown, Luc Renambot, Lance Long, Timothy Bargo, Andrew E. Johnson 0001	COMPaaS DLV: Composable Infrastructure for Deep Learning in an Academic Research Environment.	ICNP	2019	DBLP DOI BibTeX RDF
25	Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari	The ASP System DLV: Advancements and Applications.	Künstliche Intell.	2018	DBLP DOI BibTeX RDF
25	Jinhua Cui 0001, Youtao Zhang, Weiguo Wu, Jun Yang 0002, Yinfeng Wang, Jianhang Huang	DLV: Exploiting Device Level Latency Variations for Performance Improvement on Flash Memory Storage Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
25	Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari	Efficiently Coupling the I-DLV Grounder with ASP Solvers.	CoRR	2018	DBLP BibTeX RDF
25	Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari	First Steps towards Reasoning on Big Data with DLV.	SEBD	2018	DBLP BibTeX RDF
25	Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari	Reasoning over Ontologies with DLV.	IC3K	2018	DBLP DOI BibTeX RDF
25	Nicola Leone	The AI System DLV: Ontologies, Reasoning, and More.	KDIR	2018	DBLP BibTeX RDF
25	Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri	I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.	RCRA@AI*IA	2017	DBLP BibTeX RDF
25	Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari	External Computations and Interoperability in the New DLV Grounder.	AI*IA	2017	DBLP DOI BibTeX RDF
25	Wolfgang Faber 0001, Nicola Leone, Simona Perri	The Intelligent Grounder of DLV.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
25	Giovanni Grasso 0001, Nicola Leone, Marco Manna, Francesco Ricca	ASP at Work: Spin-off and Applications of the DLV System.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
25	Simona Perri, Francesco Ricca, Marco Sirianni	Towards a Fully-Parallel DLV System.	RCRA@CPAIOR	2010	DBLP BibTeX RDF
25	Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina	The Disjunctive Datalog System DLV.	Datalog	2010	DBLP DOI BibTeX RDF
25	Simona Perri, Francesco Ricca, Marco Sirianni	Parallel Instantiation in DLV.	CILC	2010	DBLP BibTeX RDF
25	Marco Maratea, Francesco Ricca, Pierfrancesco Veltri	DLVMC: Enhanced Model Checking in DLV.	JELIA	2010	DBLP DOI BibTeX RDF
25	Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa	Design and Implementation of Aggregate Functions in the DLV System	CoRR	2008	DBLP BibTeX RDF
25	Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa	Design and implementation of aggregate functions in the DLV system.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
25	Marco Maratea, Francesco Ricca, Wolfgang Faber 0001, Nicola Leone	Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.	J. Algorithms	2008	DBLP DOI BibTeX RDF
25	Francesco Ricca, Nicola Leone	Disjunctive logic programming with types and objects: The DLV+ system.	J. Appl. Log.	2007	DBLP DOI BibTeX RDF
25	Samuel Weiler	DNSSEC Lookaside Validation (DLV).	RFC	2007	DBLP DOI BibTeX RDF
25	Mark P. Andrews, Samuel Weiler	The DNSSEC Lookaside Validation (DLV) DNS Resource Record.	RFC	2006	DBLP DOI BibTeX RDF
25	Paul Vixie	Preventing Child Neglect in DNSSECbis Using Lookaside Validation (DLV).	IEICE Trans. Commun.	2005	DBLP DOI BibTeX RDF
25	Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso	Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
25	Paul Vixie	Preventing Child Neglect in DNSSECbis Using Lookaside Validation (DLV).	LISA	2005	DBLP BibTeX RDF
25	Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro	Parametric external predicates for the DLV System	CoRR	2004	DBLP BibTeX RDF
25	Francesco Calimeri, Nicola Leone	Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)	CoRR	2004	DBLP BibTeX RDF
25	Nicola Leone, Simona Perri, Francesco Scarcello	BackJumping techniques for rules instantiation in the DLV system.	NMR	2004	DBLP BibTeX RDF
25	Vincenzino Lio, Gerald Pfeifer	Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV.	SEBD	2004	DBLP BibTeX RDF
25	Rocío Santillán, Alejandra López	An experiment using DLV-K.	LA-NMR	2004	DBLP BibTeX RDF
25	Francesco Ricca	The DLV Java Wrapper.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
25	Francesco Ricca	A Java Wrapper for DLV.	Answer Set Programming	2003	DBLP BibTeX RDF
25	Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer	Aggregate Functions in DLV.	Answer Set Programming	2003	DBLP BibTeX RDF
25	Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer	Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.	IJCAI	2003	DBLP BibTeX RDF
25	Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV System for Knowledge Representation and Reasoning	CoRR	2002	DBLP BibTeX RDF
25	Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch 0001, Simona Perri, Axel Polleres	The DLV System.	JELIA	2002	DBLP DOI BibTeX RDF
25	Thomas Eiter, Wolfgang Faber 0001, Christoph Koch 0001, Nicola Leone, Gerald Pfeifer	DLV - A System for Declarative Problem Solving	CoRR	2000	DBLP BibTeX RDF
25	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	Using the dlv System for Planning and Diagnostic Reasoning.	WLP	2000	DBLP BibTeX RDF
25	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	The Diagnosis Frontend of the dlv System.	AI Commun.	1999	DBLP BibTeX RDF
25	Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello	The KR System dlv: Progress Report, Comparisons and Benchmarks.	KR	1998	DBLP BibTeX RDF
25	Simona Citrigno, Thomas Eiter, Wolfgang Faber 0001, Georg Gottlob, Christoph Koch 0001, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello	The dlv System: Model Generator and Advanced Frontends (system description).	WLP	1997	DBLP BibTeX RDF
15	Xiaoping Chen, Jianmin Ji, Fangzhen Lin	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
15	Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele	On the Input Language of ASP Grounder Gringo.	LPNMR	2009	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	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca	An ASP-Based System for e-Tourism.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Nicola Leone	Exploiting ASP in Real-World Applications: Main Strengths and Challenges.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano	Applying ASP to UML Model Validation.	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	Uwe Egly, Sarah Alice Gaggl, Stefan Woltran	ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
15	Juan Carlos Acosta Guadarrama	Implementing Knowledge Update Sequences.	MICAI	2007	DBLP DOI BibTeX RDF	Knowledge Representation, program transformation, implementation, belief revision, Answer Set Programming, non-monotonic reasoning
15	Juan Carlos Acosta Guadarrama	Implementing Knowledge Update Sequences.	MICAI	2007	DBLP DOI BibTeX RDF	Knowledge Representation, program transformation, implementation, belief revision, Answer Set Programming, non-monotonic reasoning
15	Emilia Oikarinen	Modular Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
15	Martin Gebser, Torsten Schaub, Sven Thiele	GrinGo : A New Grounder for Answer Set Programming.	LPNMR	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	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	Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà	A Logic-Based Tool for Semantic Information Extraction.	JELIA	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	Jürgen Dorn, Albert Rainer, Peter Hrastnik	Toward Semantic Composition of Web Services with MOVE.	CEC/EEE	2006	DBLP DOI BibTeX RDF
15	Massimo Ruffolo, Marco Manna	HiLeX: A System for Semantic Information Extraction from Web Documents.	ICEIS (Selected Papers)	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	Gerardo Ayala 0001, Magdalena Ortiz 0001, Mauricio Osorio 0001	Application of ASP for Agent Modelling in CSCL Environments.	MICAI	2005	DBLP DOI BibTeX RDF
15	Enrico Giunchiglia, Marco Maratea	On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).	ICLP	2005	DBLP DOI BibTeX RDF