Search results for "set semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jie Wang, Chunnian Liu	Fuzzy Constraint Logic Programming with Answer Set Semantics.	KSEM	2007	DBLP DOI BibTeX RDF	Logic Program, Fuzzy Constraint, Answer Set Semantics
3	Sara Cohen	Equivalence of queries combining set and bag-set semantics.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, combined semantics, set semantics, Datalog, query equivalence
2	Emad Saad	Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics.	SUM	2009	DBLP DOI BibTeX RDF
2	James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran	Merging Logic Programs under Answer Set Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	strong equivalence, answer set programming, belief merging
2	Nicolás Madrid, Manuel Ojeda-Aciego	On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs.	WILF	2009	DBLP DOI BibTeX RDF
2	David DeHaan	Equivalence of nested queries with mixed semantics.	PODS	2009	DBLP DOI BibTeX RDF	bag-set semantics, normalized bags, set semantics, aggregation, conjunctive queries, query equivalence
2	Vernon Asuncion, Yan Zhang	Translating Preferred Answer Set Programs to Propositional Logic.	LPNMR	2009	DBLP DOI BibTeX RDF	prioritized logic programs, answer set computations, answer set semantics
2	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
2	Sara Cohen	Equivalence of queries that are sensitive to multiplicities.	VLDB J.	2009	DBLP DOI BibTeX RDF	Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
2	Johannes Oetsch, Hans Tompits	Program Correspondence under the Answer-Set Semantics: The Non-ground Case.	ICLP	2008	DBLP DOI BibTeX RDF
2	Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello	Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics.	ASWC	2008	DBLP DOI BibTeX RDF
2	Alexander Ferrein, Stefan Schiffer 0002, Gerhard Lakemeyer	A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus.	ICIRA	2008	DBLP DOI BibTeX RDF
2	Nicolás Madrid, Manuel Ojeda-Aciego	Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
2	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran	Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.	FoIKS	2008	DBLP DOI BibTeX RDF
2	Hirohisa Seki	On Negative Unfolding in the Answer Set Semantics.	LOPSTR	2008	DBLP DOI BibTeX RDF
2	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
2	Thomas Lukasiewicz, Umberto Straccia	Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web.	RR	2007	DBLP DOI BibTeX RDF
2	Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF
2	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Deciding equivalences among conjunctive aggregate queries.	J. ACM	2007	DBLP DOI BibTeX RDF	bag-set semantics, Aggregation, Datalog, query equivalence
2	Martin Brain	Declarative Problem Solving Using Answer Set Semantics.	ICLP	2006	DBLP DOI BibTeX RDF
2	Enrico Pontelli, Tran Cao Son	Justifications for Logic Programs Under Answer Set Semantics.	ICLP	2006	DBLP DOI BibTeX RDF
2	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.	JELIA	2006	DBLP DOI BibTeX RDF
2	Thomas Lukasiewicz	Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web.	RuleML	2006	DBLP DOI BibTeX RDF
2	T. S. Jayram, Phokion G. Kolaitis, Erik Vee	The containment problem for REAL conjunctive queries with inequalities.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities
2	David Pearce	Simplifying Logic Programs Under Answer Set Semantics.	ICLP	2004	DBLP DOI BibTeX RDF
2	Thomas Eiter, Michael Fink	Uniform Equivalence of Logic Programs under the Stable Model Semantics.	ICLP	2003	DBLP DOI BibTeX RDF	uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
2	Christian Anger, Kathrin Konczak, Thomas Linke	NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Christian Anger, Kathrin Konczak, Thomas Linke	NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.	LPNMR	2001	DBLP DOI BibTeX RDF
1	Nicolás Madrid, Manuel Ojeda-Aciego	Measuring Inconsistency in Fuzzy Answer Set Semantics.	IEEE T. Fuzzy Systems	2011	DBLP DOI BibTeX RDF
1	Foto N. Afrati, Matthew Damigos, Manolis Gergatsoulis	Query containment under bag and bag-set semantics.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
1	James P. Delgrande	A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics	CoRR	2010	DBLP BibTeX RDF
1	James P. Delgrande	A program-level approach to revising logic programs under the answer set semantics.	TPLP	2010	DBLP DOI BibTeX RDF
1	Yunhe Wang, Li Jiao	Canonical Transition Set Semantics for Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
1	Emad Saad	Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Semantics.	SUM	2010	DBLP DOI BibTeX RDF
1	Thomas Lukasiewicz	A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Description logic programs, normal logic programs, first-order rewritability, Semantic Web, algorithms, complexity, description logics, disjunctive logic programs, well-founded semantics, answer set semantics
1	Michael Schmidt, Michael Meier 0002, Georg Lausen	Foundations of SPARQL query optimization.	ICDT	2010	DBLP DOI BibTeX RDF	SPARQL algebra, complexity, query optimization, RDF, SPARQL, semantic query optimization
1	Enrico Pontelli, Tran Cao Son, Omar El-Khatib	Justifications for logic programs under answer set semantics.	TPLP	2009	DBLP DOI BibTeX RDF
1	Todd J. Green	Containment of conjunctive queries on annotated relations.	ICDT	2009	DBLP DOI BibTeX RDF
1	Todd J. Green, Zachary G. Ives, Val Tannen	Reconcilable differences.	ICDT	2009	DBLP DOI BibTeX RDF
1	Rada Chirkova, Michael R. Genesereth	Equivalence of SQL queries in presence of embedded dependencies.	PODS	2009	DBLP DOI BibTeX RDF	embedded dependencies, conjunctive queries, query equivalence
1	Michael Compton	Finding Equivalent Rewritings with Exact Views.	ICDE	2009	DBLP DOI BibTeX RDF
1	Roberto Confalonieri, Juan Carlos Nieves, Javier Vázquez-Salceda	Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Emad Saad	Probabilistic Reasoning by SAT Solvers.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Mariette Sérayet, Pierre Drap, Odile Papini	Encoding the Revision of Partially Preordered Information in Answer Set Programming.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele	On the Input Language of ASP Grounder Gringo.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Mauricio Osorio, Juan Carlos Nieves	Possibilistic Well-Founded Semantics.	MICAI	2009	DBLP DOI BibTeX RDF
1	Emad Saad	Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs.	SUM	2009	DBLP DOI BibTeX RDF
1	Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski	Hybrid Reasoning with Rules and Ontologies.	REWERSE	2009	DBLP DOI BibTeX RDF
1	Thomas Lukasiewicz, Umberto Straccia	Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web.	Int. J. Semantic Web Inf. Syst.	2008	DBLP BibTeX RDF
1	Thomas Lukasiewicz	Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Enrico Pontelli, Tran Cao Son, Omar El-Khatib	Justifications for Logic Programs under Answer Set Semantics	CoRR	2008	DBLP BibTeX RDF
1	James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran	Belief Revision of Logic Programs under Answer Set Semantics.	KR	2008	DBLP BibTeX RDF
1	Andrea Calì, Thomas Lukasiewicz	An Approach to Probabilistic Data Integration for the Semantic Web.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Probabilistic data integration, probabilistic description logic programs, normal programs, probabilistic uncertainty, Semantic Web, description logics, well-founded semantics, answer set semantics
1	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
1	Yisong Wang, Xinqiang Ma	Some Results on Order-Consistent Logic Programs.	FSKD	2008	DBLP DOI BibTeX RDF
1	Timothy Richards, Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Charles C. Weems	Towards universal code generator generation.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.	FoIKS	2008	DBLP DOI BibTeX RDF
1	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Computable Functions in ASP: Theory and Implementation.	ICLP	2008	DBLP DOI BibTeX RDF
1	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
1	Annamaria Bria, Wolfgang Faber, Nicola Leone	Normal Form Nested Programs.	JELIA	2008	DBLP DOI BibTeX RDF
1	Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone	Enhancing a DLP System for Advanced Database Applications.	RR	2008	DBLP DOI BibTeX RDF
1	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran	Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.	CENT	2007	DBLP BibTeX RDF
1	Thomas Eiter, Michael Fink, Stefan Woltran	Semantical characterizations and complexity of equivalences in answer set programming.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
1	Roderic A. Girle	The Neighbourhood of S0.9 and S1.	TABLEAUX	2007	DBLP DOI BibTeX RDF	S0.9, S1, model-set semantics, interpretation, tableaux
1	Todd J. Green, Gregory Karvounarakis, Val Tannen	Provenance semirings.	PODS	2007	DBLP DOI BibTeX RDF	incomplete databases, datalog, probabilistic databases, data provenance, semirings, formal power series, data lineage
1	Julien Hué, Odile Papini, Eric Würbel	Syntactic Propositional Belief Bases Fusion with Removed Sets.	ECSQARU	2007	DBLP DOI BibTeX RDF
1	Thomas Lukasiewicz	A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web.	ESWC	2007	DBLP DOI BibTeX RDF
1	Pedro Cabalar, Gilberto Pérez Vega	Temporal Equilibrium Logic: A First Approach.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Gerhard Brewka	Preferences, Contexts and Answer Sets.	ICLP	2007	DBLP DOI BibTeX RDF
1	Andrea Calì, Thomas Lukasiewicz	Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web.	ICLP	2007	DBLP DOI BibTeX RDF
1	Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski	Logic Programs with Abstract Constraint Atoms: The Role of Computations.	ICLP	2007	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir	Computing Fuzzy Answer Sets Using dlvhex.	ICLP	2007	DBLP DOI BibTeX RDF
1	Ka-Shu Wong	A Stronger Notion of Equivalence for Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF
1	Mantas Simkus, Thomas Eiter	\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.	LPAR	2007	DBLP DOI BibTeX RDF
1	James P. Delgrande, Torsten Schaub, Hans Tompits	A Preference-Based Framework for Updating Logic Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Torsten Schaub, Sven Thiele	GrinGo : A New Grounder for Answer Set Programming.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Mauricio Osorio, Juan Carlos Nieves	PStable Semantics for Possibilistic Logic Programs.	MICAI	2007	DBLP DOI BibTeX RDF
1	Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde	Quantified Equilibrium Logic and Hybrid Rules.	RR	2007	DBLP DOI BibTeX RDF
1	Jing Mei, Zuoquan Lin, Harold Boley	ALCuP: An Integration of Description Logic and General Rules.	RR	2007	DBLP DOI BibTeX RDF
1	Thomas Lukasiewicz	Tractable Probabilistic Description Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
1	Emad Saad	Probabilistic Planning in Hybrid Probabilistic Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
1	Makoto Tatsuta	Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.	TLCA	2007	DBLP DOI BibTeX RDF
1	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.	INAP/WLP	2007	DBLP DOI BibTeX RDF
1	Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki	View selection for real conjunctive queries.	Acta Inf.	2007	DBLP DOI BibTeX RDF
1	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
1	Mingyi Zhang, Ying Zhang, Fangzhen Lin	A characterization of answer sets for logic programs.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	nested logic programming, characterization of answer sets, completion semantics, tightness, loop formulas
1	Mohua Banerjee, Md. Aquil Khan	Propositional Logics from Rough Set Theory.	T. Rough Sets	2007	DBLP DOI BibTeX RDF
1	Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits	dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.	Web Intelligence	2006	DBLP DOI BibTeX RDF
1	Gang Gou, Maxim Kormilitsin, Rada Chirkova	Query evaluation using overlapping views: completeness and efficiency.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	rewriting queries using views, query optimization, materialized views
1	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
1	Vladimir Lifschitz, Alexander A. Razborov	Why are there so many loop formulas?	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	loop formulas, stable models, P-completeness, Answer sets
1	Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang	Forgetting in Managing Rules and Ontologies.	Web Intelligence	2006	DBLP DOI BibTeX RDF
1	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
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming with Generalized Literals.	FoIKS	2006	DBLP DOI BibTeX RDF
1	Chitta Baral, Juraj Dzifcak, Hiro Takahashi	Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Cooperating Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF