Search results for "logic programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
3	Robert A. Kowalski, Fariba Sadri	Teleo-Reactive Abductive Logic Programs.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
3	Paolo Mancarella, Francesca Toni	Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
3	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
3	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logic Programs under Three-Valued Lukasiewicz Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	Three Valued Logic Programs, ?ukasiewicz Semantics
3	Fabrizio Riguzzi	ALLPAD: approximate learning of logic programs with annotated disjunctions.	Machine Learning	2008	DBLP DOI BibTeX RDF	Logic programs with annotated disjunctions, Inductive logic programming, Statistical relational learning, Probabilistic logic programming
3	Fabrizio Riguzzi	Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.	ICLP	2008	DBLP DOI BibTeX RDF	Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
3	Ekaterina Komendantskaya, John Power	Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	JELIA	2008	DBLP DOI BibTeX RDF	Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution
3	Lunjin Lu	Inferring precise polymorphic type dependencies in logic programs.	PPDP	2008	DBLP DOI BibTeX RDF	type dependency, logic programs, abstract interpretation, type inference
3	Yisong Wang, Mingyi Zhang, Yu-Ping Shen	Consistency Property of Finite FC-Normal Logic Programs.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	consistency property, FC-normality, artificial intelligence, logic programs, stable model
3	Zaiyue Zhang, Yuefei Sui, Cungen Cao	A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.	TAMC	2006	DBLP DOI BibTeX RDF	double priority, tree method, logic programs
3	Chiaki Sakama	Induction from answer sets in nonmonotonic logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	nonmonotonic logic programs, induction, Answer sets
3	Kewen Wang, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
3	Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus	Termination of simply moded logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	simply moded, Logic programs, termination, dynamic scheduling
3	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
3	Zbigniew Lonc, Miroslaw Truszczynski	Fixed-parameter complexity of semantics for logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Normal logic programs, fixed-parameter complexity, supported models, stable models
3	Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker	Description logic programs: combining logic programs with description logic.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
3	Stephen Muggleton	Learning Structure and Parameters of Stochastic Logic Programs.	ILP	2002	DBLP DOI BibTeX RDF	Stochastic logic programs, numerical methods, generalisation, analytical methods
3	Enno Ohlebusch	Termination of Logic Programs: Transformational Methods Revisited.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic programs, Transformations, Termination, Term rewriting systems
3	Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	A General Framework for Automatic Termination Analysis of Logic Programs.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Termination of logic programs, Constraints, Abstract interpretation
3	Lunjin Lu	Parameterizing a Groundness Analysis of Logic Programs.	SAS	2001	DBLP DOI BibTeX RDF	Logic programs, Abstract Interpretation, Groundness Analysis
3	Kewen Wang, Lizhu Zhou, Fangzhen Lin	Alternating Fixpoint Theory for Logic Programs with Priority.	Computational Logic	2000	DBLP DOI BibTeX RDF	alternating fixpoints, Logic programs, priority, answer sets, well-founded model
3	Fangzhen Lin, Kewen Wang	From Causal Theories to Logic Programs (Sometimes).	LPNMR	1999	DBLP DOI BibTeX RDF	disjunctive logic programs with classical negation, causal theories of actions, situation calculus
3	Marina De Vos, Dirk Vermeir	Choice Logic Programs and Nash Equilibria in Strategic Games.	CSL	1999	DBLP DOI BibTeX RDF	game theory, logic programs, nondeterminism, choice, stable model semantics
3	Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Optimization of Logic Programs, Program Specialization, Determinacy
3	Paolo Volpe	A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	Verification of logic programs, languages of specification, first-order logic
3	Jianjun Zhao, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
3	Robert F. Stärk	Total Correctness of Logic Programs: A Formal Approach.	ELP	1996	DBLP DOI BibTeX RDF	Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure
3	Seiki Akama	Three-Valued Constructive Logic and Logic Programs. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
3	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	Reduce-OR process model, Encore Multimax, Sequent Symmetry, NCUBE 2, Intel i860 hypercube, Chare kernel, scale linearly, performance, parallel programming, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, program compilers, parallel execution, Sun workstations
3	Albert C. Chen, Chuan-lin Wu	A Parallel Execution Model of Logic Programs.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs
3	Gopal Gupta, Manuel V. Hermenegildo	ACE: And/Or-parallel Copying-based Execution of Logic Programs.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
3	George Peterka, Tadao Murata	Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
3	Michael Kifer, Eliezer L. Lozinskii	SYGRAF: Implementing Logic Programs in a Database Style.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SYGRAF, Horn logic programs, function symbols, parallel programming, logic programming, logic programming, query optimization, database theory, deductive databases, programming theory, formal logic, bottom-up evaluation
3	Tadao Murata, Du Zhang	A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	AND/OR parallelisms, deduction process, Horn clause logic programs, Petri nets, logic programming, communicating processes, fixpoint semantics, predicate/transition nets, relational operations
2	Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis (eds.)	Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller 0002, Stephen Muggleton, Giovanni Sartor	The Scientific Contribution of Marek Sergot.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Naftaly H. Minsky	Decentralized Governance of Distributed Systems via Interaction Control.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Evgenios Hadjisoteriou, Antonis C. Kakas	Argumentation and the Event Calculus.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Marco Alberti, Marco Gavanelli, Evelina Lamma	Deon + : Abduction and Constraints for Normative Reasoning.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Henry Prakken	Some Reflections on Two Current Trends in Formal Argumentation.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Paul E. Dunne	Irrationality in Persuasive Argumentation.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Trevor J. M. Bench-Capon	Open Texture and Argumentation: What Makes an Argument Persuasive?	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Jeremy Pitt	Managing User-Generated Content as a Knowledge Commons.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Reactive Event Calculus for Monitoring Global Computing Applications.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer	GOAL Agents Instantiate Intention Logic.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Alessio Lomuscio, Wojciech Penczek	Symbolic Model Checking for Temporal-Epistemic Logic.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Dario Della Monica, Angelo Montanari, Pietro Sala	The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto	Contrary-To-Duties in Games.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Justin Blount, Michael Gelfond	Reasoning about the Intentions of Agents.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Andrew J. I. Jones, Steven O. Kimbrough	On the Representation of Normative Sentences in FOL.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Xavier Parent	Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Steve Barker	Logical Approaches to Authorization Policies.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Trevor J. M. Bench-Capon	Marek Sergot: A Memoir.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	Dov M. Gabbay	What Is Negation as Failure?	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
2	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
2	Cristina Feier, Stijn Heymans	Hybrid Reasoning with Forest Logic Programs.	ESWC	2009	DBLP DOI BibTeX RDF
2	Emad Saad	Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics.	SUM	2009	DBLP DOI BibTeX RDF
2	Emad Saad	Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs.	SUM	2009	DBLP DOI BibTeX RDF
2	Julien Hué, Odile Papini, Eric Würbel	Merging Belief Bases Represented by Logic Programs.	ECSQARU	2009	DBLP DOI BibTeX RDF
2	Zhihu Zhang, Zuoquan Lin, Shuang Ren	Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.	ISMIS	2009	DBLP DOI BibTeX RDF	Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
2	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
2	Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian	Using Histograms to Better Answer Queries to Probabilistic Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	Imprecise Probabilities, Probabilistic Logic Programming
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	Dean Voets, Danny De Schreye	A New Approach to Non-termination Analysis of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	non-termination analysis, program analysis
2	Gayathri Namasivayam	Study of Random Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
2	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
2	Stijn Heymans, Cristina Feier, Thomas Eiter	A Reasoner for Simple Conceptual Logic Programs.	RR	2009	DBLP DOI BibTeX RDF
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	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Gayathri Namasivayam, Miroslaw Truszczynski	Simple Random Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Miroslaw Truszczynski	Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Yi-Dong Shen, Jia-Huai You	A Default Approach to Semantics of Logic Programs with Constraint Atoms.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Pascual Julián, Ginés Moreno, Jaime Penabad	On the Declarative Semantics of Multi-Adjoint Logic Programs.	IWANN	2009	DBLP DOI BibTeX RDF	Herbrand Model, Fuzzy Logic Programming, Declarative Semantics
2	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logics and Networks for Human Reasoning.	ICANN	2009	DBLP DOI BibTeX RDF	Human Reasoning, Logic Programs, Connectionist Models
2	Phan Minh Dung, Do Duc Hanh, Phan Minh Thang	Stabilization of Information Sharing for Queries Answering in Multiagent Systems.	ICLP	2009	DBLP DOI BibTeX RDF	Abductive Logic Programs, Stabilization, Information Sharing, Cooperative Multiagent Systems
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	Dov M. Gabbay, Andrzej Szalas	Annotation Theories over Finite Graphs.	Studia Logica	2009	DBLP DOI BibTeX RDF	labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
2	Miroslaw Truszczynski, Stefan Woltran	Hyperequivalence of logic programs with respect to supported models.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30
2	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer	Exploiting conjunctive queries in description logic programs.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
2	Shay B. Cohen, Robert J. Simmons, Noah A. Smith	Dynamic Programming Algorithms as Products of Weighted Logic Programs.	ICLP	2008	DBLP DOI BibTeX RDF
2	Wim Vanhoof, François Degrave	An Algorithm for Sophisticated Code Matching in Logic Programs.	ICLP	2008	DBLP DOI BibTeX RDF
2	Miroslaw Truszczynski, Stefan Woltran	Relativized Hyperequivalence of Logic Programs for Modular Programming.	ICLP	2008	DBLP DOI BibTeX RDF
2	Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis, Stefanos D. Kollias	Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics.	ICANN	2008	DBLP DOI BibTeX RDF
2	Yisong Wang, Xinqiang Ma	Some Results on Order-Consistent Logic Programs.	FSKD	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	Jidi Zhao, Harold Boley	Combining Fuzzy Description Logics and Fuzzy Logic Programs.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
2	Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal	Strongly Equivalent Temporal Logic Programs.	JELIA	2008	DBLP DOI BibTeX RDF
2	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.	FoIKS	2008	DBLP DOI BibTeX RDF
2	Hendrik Blockeel	Exposing the Causal Structure of Processes by Learning CP-Logic Programs.	PRICAI	2008	DBLP DOI BibTeX RDF
2	Jianzhong Chen, Lawrence A. Kelley, Stephen Muggleton, Michael J. E. Sternberg	Protein Fold Discovery Using Stochastic Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
2	Kristian Kersting, Luc De Raedt	Basic Principles of Learning Bayesian Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
2	Michael Leuschel, Germán Vidal	Fast Offline Partial Evaluation of Large Logic Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
2	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
2	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
2	Jianzhong Chen, Stephen Muggleton, José Carlos Almeida Santos	Learning probabilistic logic models from probabilistic examples.	Machine Learning	2008	DBLP DOI BibTeX RDF	Probabilistic inductive logic programming, Stochastic logic programs, Probabilistic examples, Abduction
2	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
2	Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof	Termination analysis of logic programs through combination of type-based norms.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
2	Xi-Shun Zhao, Yu-Ping Shen	Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program