Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
112	Allen Van Gelder	The Alternating Fixpoint of Logic Programs with Negation.	PODS	1989	DBLP DOI BibTeX RDF
94	Orna Kupferman, Moshe Y. Vardi	Π2 ∩ Σ2 ≡ AFMC.	ICALP	2003	DBLP DOI BibTeX RDF
94	Serge Abiteboul, Moshe Y. Vardi, Victor Vianu	Fixpoint logics, relational machines, and computational complexity.	J. ACM	1997	DBLP DOI BibTeX RDF	fixpoint logic, relational complexity, computational complexity, complexity classes
75	H. Khanh Hoang	Choice Construct and Lindström Logics.	CSL	1998	DBLP DOI BibTeX RDF
75	Zhenyu Qian	Standard fixpoint iteration for Java bytecode verification.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Java, dataflow analysis, bytecode verification, fixpoint
65	Du Zhang	Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	KB coherence, significance of inconsistency, inconsistency, fixpoint semantics
57	Luca Alberucci, Alessandro Facchini	On Modal µ -Calculus and Gödel-Löb Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	Modal ?-Calculus, Gödel-Löb Logic, Fixpoint
57	Latha S. Colby, Leonid Libkin	Tractable Iteration Mechanisms for Bag Languages.	ICDT	1997	DBLP DOI BibTeX RDF
56	Rakesh Agrawal 0001, Premkumar T. Devanbu	Moving Selections into Linear Least Fixpoint Queries.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	moving selections, linear least fixpoint queries, selection transposition algorithm, least-fixpoint operator, linear recursive queries, information retrieval, relational databases, relational databases, query language, query languages, predicates
56	Joonseon Ahn, Yong Jin Kwon	A Differential Fixpoint Evaluation Framework for Non-distributive Systems.	APLAS	2003	DBLP DOI BibTeX RDF	fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation
56	Weidong Chen	Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution
56	Ping Hou, Marc Denecker	A Deductive System for FO(ID) Based on Least Fixpoint Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
56	David Janin	Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices.	LICS	1997	DBLP DOI BibTeX RDF
56	Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen	Non-monotone Fixpoint Iterations to Resolve Second Order Effects.	CC	1996	DBLP DOI BibTeX RDF
56	David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	An Improved Algorithm for the Evaluation of Fixpoint Expressions.	CAV	1994	DBLP DOI BibTeX RDF
56	Lunjin Lu, Peter Greenfield	Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
56	Aïda Batarekh	Fixpoint Techniques for Non-Monotone Maps.	ALP	1990	DBLP DOI BibTeX RDF
47	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
47	Louiqa Raschid, Jorge Lobo 0001	Semantics for Update Rule Programs and Implementations in a Relational Database Management System.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics
47	Peter Schäuble, Beat Wüthrich	On the Expressive Power of Query Languages.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog
47	Mengjun Li, Ti Zhou, Zhoujun Li 0001	SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.	Inscrypt	2008	DBLP DOI BibTeX RDF	non-termination characterization and prediction, abstract and refinement, security protocol
47	Doron Bustan, Orna Kupferman, Moshe Y. Vardi	A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.	STACS	2004	DBLP DOI BibTeX RDF
47	E. Allen Emerson, Edmund M. Clarke	Characterizing Correctness Properties of Parallel Programs Using Fixpoints.	ICALP	1980	DBLP DOI BibTeX RDF
47	Daniel Deutch, Christoph Koch 0001, Tova Milo	On probabilistic fixpoint and Markov chain query languages.	PODS	2010	DBLP DOI BibTeX RDF	probabilistic fixpoint, Markov chains
47	Van Hung Le 0001, Fei Liu 0003, Dinh Khang Tran	Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming.	ICIC (2)	2008	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, completeness, fuzzy logic programming, fixpoint semantics, linguistic hedge
47	Regimantas Pliuskevicius	Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.	JELIA	1992	DBLP DOI BibTeX RDF	fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness
46	Andreas Podelski	Verification, Least-Fixpoint Checking, Abstraction.	VSTTE	2008	DBLP DOI BibTeX RDF
46	Du Zhang	Quantifying Knowledge Base Inconsistency via Fixpoint Semantics.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
46	Joost Vennekens, David Gilis, Marc Denecker	Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	auto-epistemic logic, logic programming, Modularity, default logic
46	Roberta Gori	A Fixpoint Semantics for Reasoning about Finite Failure.	LPAR	1999	DBLP DOI BibTeX RDF	Finite failure, Logic programming, Abstract interpretation
46	Julian Rathke	Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
46	Stefan Dziembowski	Bounded-Variable Fixpoint Queries are PSPACE-complete.	CSL	1996	DBLP DOI BibTeX RDF
38	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
38	Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández	Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.	PPDP	2009	DBLP DOI BibTeX RDF	hereditary harrop formulas, constraints, prolog, deductive databases, fixpoint semantics, stratification
38	Farn Wang, Geng-Dian Huang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
38	Hong-Cheu Liu, John Zeleznikow	Relational computation for mining association rules from XML data.	CIKM	2005	DBLP DOI BibTeX RDF	fixpoint operator, association rules, query optimisation
38	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Programs with Implicit Implications.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
38	Jan E. Jonker	Knaster-Tarski Revisited.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Complete partial order, Generalization, Fixpoint
38	Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou	Static Analysis by Policy Iteration on Relational Domains.	ESOP	2007	DBLP DOI BibTeX RDF
38	Mengjun Li, Ti Zhou, Zhoujun Li 0001, Huowang Chen	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	ASIAN	2007	DBLP DOI BibTeX RDF	abstraction and refinement, security protocol
38	Roberta Gori, Giorgio Levi	Properties of a Type Abstract Interpreter.	VMCAI	2003	DBLP DOI BibTeX RDF
38	Zbigniew Lonc, Miroslaw Truszczynski	On the Problem of Computing the Well-Founded Semantics.	Computational Logic	2000	DBLP DOI BibTeX RDF
38	Anuj Dawar, Lauri Hella, Phokion G. Kolaitis	Implicit Definability and Infinitary Logic in Finite Model Theory.	ICALP	1995	DBLP DOI BibTeX RDF
38	Mino Bai, Howard A. Blair	General Model Theoretic Semantics for Higher-Order Horn Logic Programming.	LPAR	1992	DBLP DOI BibTeX RDF
38	Phan Minh Dung, Kanchana Kanchanasut	A Natural Semantics for Logic Programs with Negation.	FSTTCS	1989	DBLP DOI BibTeX RDF
38	Peter K. Rathmann	The Cost of Locking.	ICDT	1986	DBLP DOI BibTeX RDF
38	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
37	Luigi Santocanale, Yde Venema	Completeness for Flat Modal Fixpoint Logics.	LPAR	2007	DBLP DOI BibTeX RDF	fixpoint logic, completeness, modal algebra
37	Takayoshi Suzuki, Hajime Sawamura	Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics.	PRIMA	2007	DBLP DOI BibTeX RDF	Argumentation, dialogue, agreement, fixpoint semantics
37	Raghu Ramakrishnan 0001, Divesh Srivastava, S. Sudarshan 0001	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	bottom-up fixpoint evaluation, GSN, rule ordering, PSN, base relations, fair orderings, control expression, semantics, query processing, logic programming, logic programs, program compilers, deductive databases, deductive database, query evaluation, performance results, BSN, cyclic ordering
37	J. Michael Ashley, Charles Consel	Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	fixpoint algorithm, program analysis, abstract interpretation
37	Uwe Keller, Stijn Heymans	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.	LFCS	2009	DBLP DOI BibTeX RDF
37	Du Zhang	Fixpoint semantics for rule-base anomalies.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
37	Nematollaah Shiri, Zhi Hong Zheng	Challenges in Fixpoint Computation with Multisets.	FoIKS	2004	DBLP DOI BibTeX RDF
37	Hai Zhou 0001	Timing analysis with crosstalk is a fixpoint on a complete lattice.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
37	David Toman 0001	Logical Data Expiration for Fixpoint Extensions of Temporal Logics.	SSTD	2003	DBLP DOI BibTeX RDF
37	Hasan M. Jamil	Implementation of a Least Fixpoint Operator for Fast Mining of Relational Databases.	ICDM	2002	DBLP DOI BibTeX RDF
37	Thomas Lukasiewicz	Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.	LPNMR	2001	DBLP DOI BibTeX RDF
37	Kewen Wang 0001, 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
37	Patrick Cousot	Partial Completeness of Abstract Fixpoint Checking.	SARA	2000	DBLP DOI BibTeX RDF
37	In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi	Least fixpoint approximations for reachability analysis.	ICCAD	1999	DBLP DOI BibTeX RDF
37	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	ESOP	1998	DBLP DOI BibTeX RDF
37	Karl Crary	Admissibility of Fixpoint Induction over Partial Types.	CADE	1998	DBLP DOI BibTeX RDF
37	Patrick Cousot, Radhia Cousot	Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.	CAV	1995	DBLP DOI BibTeX RDF
37	Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria	The Fixpoint-Analysis Machine.	CONCUR	1995	DBLP DOI BibTeX RDF
37	Maurizio Gabbrielli, Maria Chiara Meo	Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.	ALP	1992	DBLP DOI BibTeX RDF
37	François Denis, Jean-Paul Delahaye	Unfolding, Procedural and Fixpoint Semantics of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
37	Maurizio Gabbrielli, Giorgio Levi	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.	ALP	1990	DBLP DOI BibTeX RDF
37	Moshe Y. Vardi	A Temporal Fixpoint Calculus.	POPL	1988	DBLP DOI BibTeX RDF
36	Uwe Bosse	An "Ehrenfeucht-Fraïssé Game" for Fixpoint Logic and Stratified Fixpoint Logic.	CSL	1992	DBLP DOI BibTeX RDF
29	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
29	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
29	Christian Schulte 0001, Peter J. Stuckey	Efficient constraint propagation engines.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
29	Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin	Analysing memory resource bounds for low-level programs.	ISMM	2008	DBLP DOI BibTeX RDF	fixpoint analysis, heap space analysis, low level programs, stack space analysis
29	Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001	Cyclic dependencies in modular performance analysis.	EMSOFT	2008	DBLP DOI BibTeX RDF	fixpoint iteration, performance analysis, real-time calculus
29	Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie	XDO2: A Deductive Object-Oriented Query Language for XML.	DASFAA	2005	DBLP DOI BibTeX RDF	XML query language, not-predicate negation, fixpoint semantics, deductive rule
29	Debjit Sinha, Hai Zhou 0001, Chris C. N. Chu	Optimal gate sizing for coupling-noise reduction.	ISPD	2004	DBLP DOI BibTeX RDF	coupling-noise, gate-sizing, lattice theory, fixpoint
29	Laks V. S. Lakshmanan, Nematollaah Shiri	A Parametric Approach to Deductive Databases with Uncertainty.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Conjunctive query containment, fixpoint computation, semantics, uncertainty, query optimization, deductive databases, proof theory, multisets
29	Piero Fraternali, Letizia Tanca	A Structured Approach for the Definition of the Semantics of Active Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	database rule processing, semantics, events, rules, active database systems, fixpoint semantics
28	Meinolf Sellmann	On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency.	CP	2009	DBLP DOI BibTeX RDF
28	Marc Denecker, Joost Vennekens	Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.	LPNMR	2007	DBLP DOI BibTeX RDF
28	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
28	Constantinos Bartzis, Tevfik Bultan	Widening Arithmetic Automata.	CAV	2004	DBLP DOI BibTeX RDF
28	Joost Vennekens, David Gilis, Marc Denecker	Splitting an Operator.	ICLP	2004	DBLP DOI BibTeX RDF
28	Francesco Buccafurri, Georg Gottlob	Multiagent Compromises, Joint Fixpoints, and Stable Models.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
28	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
28	David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.	RTA	2002	DBLP DOI BibTeX RDF
28	Masahito Hasegawa, Yoshihiko Kakutani	Axioms for Recursion in Call-by-Value.	FoSSaCS	2001	DBLP DOI BibTeX RDF
28	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli	An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
28	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Making abstract interpretations complete.	J. ACM	2000	DBLP DOI BibTeX RDF
28	Dietmar Seipel	An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases.	FQAS	1998	DBLP DOI BibTeX RDF
28	François Fages, Roberta Gori	A Hierarchy of Semantics for Normal Constraint Logic Programs.	ALP	1996	DBLP DOI BibTeX RDF
28	Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf	Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic.	HUG	1993	DBLP DOI BibTeX RDF
28	Beat Wüthrich	Towards Probabilistic Knowledge Bases.	LPAR	1992	DBLP DOI BibTeX RDF
28	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
28	Irène Guessarian	About Fixpoints for Concurrency.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
28	François Bry	Negation in Logic Programming: A Formalization in Constructive Logic.	IS/KI	1990	DBLP DOI BibTeX RDF
28	Susumu Yamasaki	Dataflow Programs for Parallel Computations of Logic Programs and their Semantics.	PARLE (2)	1989	DBLP DOI BibTeX RDF	Semantics for fair nodeterminism, Parallel computation of logic programs, Dataflow
28	Domenico Saccà, Carlo Zaniolo	The Generalized Counting Method for Recursive Logic Queries.	ICDT	1986	DBLP DOI BibTeX RDF