Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Javier Esparza, Michael Luttenberger, Maximilian Schlund	FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.	Int. J. Found. Comput. Sci.	2015	DBLP DOI BibTeX RDF
18	Bart Bogaerts 0001, Guy Van den Broeck	Knowledge compilation of logic programs using approximation fixpoint theory.	Theory Pract. Log. Program.	2015	DBLP DOI BibTeX RDF
18	Shasha Feng, Michel Ludwig, Dirk Walther 0002	Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes.	KI	2015	DBLP DOI BibTeX RDF
18	Michael Benedikt, Balder ten Cate, Michael Vanden Boom	Interpolation with Decidable Fixpoint Logics.	LICS	2015	DBLP DOI BibTeX RDF
18	Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari	A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.	COORDINATION	2015	DBLP DOI BibTeX RDF
18	Johannes Marti, Fatemeh Seifan, Yde Venema	Uniform Interpolation for Coalgebraic Fixpoint Logic.	CALCO	2015	DBLP DOI BibTeX RDF
18	Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse	Evidence for Fixpoint Logic.	CSL	2015	DBLP DOI BibTeX RDF
18	Thomas Colcombet, Amaldev Manuel	Fragments of Fixpoint Logic on Data Words.	FSTTCS	2015	DBLP DOI BibTeX RDF
18	Bart Bogaerts 0001	Groundedness in Logics with a Fixpoint Semantics; Gegrondheid in logicas met een vaste-puntssemantiek. (PDF / PS)		2015	RDF
18	Daniel Gorín, Lutz Schröder	Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.	CoRR	2014	DBLP BibTeX RDF
18	Florian Bruse, Michael Falk, Martin Lange	The Fixpoint-Iteration Algorithm for Parity Games.	GandALF	2014	DBLP DOI BibTeX RDF
18	Javier Esparza, Michael Luttenberger, Maximilian Schlund	FPsolve: A Generic Solver for Fixpoint Equations over Semirings.	CIAA	2014	DBLP DOI BibTeX RDF
18	Rajeev Goré	And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.	IJCAR	2014	DBLP DOI BibTeX RDF
18	Daniel Gorín, Lutz Schröder	Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.	Advances in Modal Logic	2014	DBLP BibTeX RDF
18	Hannes Strass, Johannes Peter Wallner	Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory.	KR	2014	DBLP BibTeX RDF
18	Martin Lange, Étienne Lozes	Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic.	IFIP TCS	2014	DBLP DOI BibTeX RDF
18	Thomas Colcombet, Amaldev Manuel	Generalized Data Automata and Fixpoint Logic.	FSTTCS	2014	DBLP DOI BibTeX RDF
18	Yi Bi, Jia-Huai You, Zhiyong Feng 0002	A Generalization of Approximation Fixpoint Theory and Application.	RR	2014	DBLP DOI BibTeX RDF
18	Elio Damaggio, Richard Hull 0001, Roman Vaculín	On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles.	Inf. Syst.	2013	DBLP DOI BibTeX RDF
18	Furio Honsell, Marina Lenisa	Unfixing the Fixpoint: The Theories of the λY-Calculus.	Computation, Logic, Games, and Quantum Foundations	2013	DBLP DOI BibTeX RDF
18	Marco Comini, Luca Torella	A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.	SCSS	2013	DBLP DOI BibTeX RDF
18	Christian Antic, Thomas Eiter, Michael Fink 0001	Hex Semantics via Approximation Fixpoint Theory.	LPNMR	2013	DBLP DOI BibTeX RDF
18	Yassamine Seladji, Olivier Bouissou	Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.	VMCAI	2013	DBLP DOI BibTeX RDF
18	Vikraman Arvind	The Parameterized Complexity of Fixpoint Free Elements and Bases in Permutation Groups.	IPEC	2013	DBLP DOI BibTeX RDF
18	Vince Bárány, Mikolaj Bojanczyk	Finite satisfiability for guarded fixpoint logic.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
18	Paulo Shakarian, Gerardo I. Simari, V. S. Subrahmanian	Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
18	Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot	Acceleration of the abstract fixpoint computation in numerical program analysis.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
18	Marc Denecker, Maurice Bruynooghe, Joost Vennekens	Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
18	Peter Reichl, Patrick Maillé, Patrick Zwickl, Andreas Sackl	On the fixpoint problem of QoE-based charging.	VALUETOOLS	2012	DBLP DOI BibTeX RDF
18	Daniel Stamate, Ida M. Pu	Imperfect Information Fusion Using Rules with Bilattice Based Fixpoint Semantics.	IPMU (3)	2012	DBLP DOI BibTeX RDF
18	Stefan Göller, Markus Lohrey	Fixpoint Logics over Hierarchical Structures.	Theory Comput. Syst.	2011	DBLP DOI BibTeX RDF
18	Andreas Behrend	A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases	CoRR	2011	DBLP BibTeX RDF
18	David Monniaux, Laure Gonnord	Using Bounded Model Checking to Focus Fixpoint Iterations	CoRR	2011	DBLP BibTeX RDF
18	Vince Bárány, Mikolaj Bojanczyk	Finite Satisfiability for Guarded Fixpoint Logic	CoRR	2011	DBLP BibTeX RDF
18	Julian Gutierrez 0001, Julian C. Bradfield	Model-checking games for fixpoint logics with partial order models.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
18	Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin	FixBag: A Fixpoint Calculator for Quantified Bag Constraints.	CAV	2011	DBLP DOI BibTeX RDF
18	Andreas Behrend	A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases.	INAP/WLP	2011	DBLP DOI BibTeX RDF
18	Elio Damaggio, Richard Hull 0001, Roman Vaculín	On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles.	BPM	2011	DBLP DOI BibTeX RDF
18	David Monniaux, Laure Gonnord	Using Bounded Model Checking to Focus Fixpoint Iterations.	SAS	2011	DBLP DOI BibTeX RDF
18	Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot	Abstract Fixpoint Computations with Numerical Acceleration Methods.	NSAD@SAS	2010	DBLP DOI BibTeX RDF
18	Kazuhisa Ishida, Yasunari Shidama	Fixpoint Theorem for Continuous Functions on Chain-Complete Posets.	Formaliz. Math.	2010	DBLP DOI BibTeX RDF
18	María Alpuente, Marco Comini, Santiago Escobar 0001, Moreno Falaschi, José Iborra	A compact fixpoint semantics for term rewriting systems.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
18	Ping Hou, Broes De Cat, Marc Denecker	FO(FD): Extending classical logic with rule-based fixpoint definitions	CoRR	2010	DBLP BibTeX RDF
18	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity	CoRR	2010	DBLP BibTeX RDF
18	Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot	Abstract Fixpoint Computations with Numerical Acceleration Methods	CoRR	2010	DBLP BibTeX RDF
18	Luigi Santocanale, Yde Venema	Completeness for flat modal fixpoint logics.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
18	Ping Hou, Broes De Cat, Marc Denecker	FO(FD): Extending classical logic with rule-based fixpoint definitions.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
18	Aleksandr Karbyshev	Verified Generic Local Fixpoint Algorithms.	AlgoSyn	2010	DBLP BibTeX RDF
18	Tarmo Uustalu	A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators.	FICS	2010	DBLP BibTeX RDF
18	Härmel Nestra	Transfinite Semantics in the Form of Greatest Fixpoint.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
18	Oliver Friedmann, Martin Lange	A Solver for Modal Fixpoint Logics.	M4M	2009	DBLP DOI BibTeX RDF
18	Nicole Bidoit, Matthieu Objois	Fixpoint and While Temporal Query Languages.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
18	Pierre Ganty, Nicolas Maquet, Jean-François Raskin	Fixpoint Guided Abstraction Refinement for Alternating Automata.	CIAA	2009	DBLP DOI BibTeX RDF
18	Rajeev Goré	Global Caching, Inverse Roles and Fixpoint Logics.	Description Logics	2009	DBLP BibTeX RDF
18	Yde Venema	Fixpoint Logics and Automata: A Coalgebraic Approach.	FICS	2009	DBLP BibTeX RDF
18	Pawel Parys	Lower Bound for Evaluation of mu-nu Fixpoint.	FICS	2009	DBLP BibTeX RDF
18	Luigi Santocanale, Yde Venema	Completeness for Flat Modal Fixpoint Logics	CoRR	2008	DBLP BibTeX RDF
18	Hua Jiang, Xiang Li	An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus.	ITNG	2008	DBLP DOI BibTeX RDF	calculation complexity, NP and co-NP problem, Model Checking, mu-Calculus
18	Takayoshi Suzuki, Hajime Sawamura	Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint Semantics.	COMMA	2008	DBLP BibTeX RDF
18	Nematollaah Shiri, Zhi Hong Zheng	Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty.	CSICC	2008	DBLP DOI BibTeX RDF
18	Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe	Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.	KR	2008	DBLP BibTeX RDF
18	Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker	Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.	Fundam. Informaticae	2007	DBLP BibTeX RDF
18	Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker	Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.	Fundam. Informaticae	2007	DBLP BibTeX RDF
18	Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo	An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
18	Joost Vennekens, David Gilis, Marc Denecker	Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF
18	Roland Axelsson, Martin Lange, Rafal Somla	The Complexity of Model Checking Higher-Order Fixpoint Logic	CoRR	2007	DBLP BibTeX RDF
18	Roland Axelsson, Martin Lange, Rafal Somla	The Complexity of Model Checking Higher-Order Fixpoint Logic.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
18	Martin Lange	Three notes on the complexity of model checking fixpoint logic with chop.	RAIRO Theor. Informatics Appl.	2007	DBLP DOI BibTeX RDF
18	Thomas Gawlitza, Helmut Seidl	Precise Fixpoint Computation Through Strategy Iteration.	ESOP	2007	DBLP DOI BibTeX RDF
18	Martin Lange, Rafal Somla	Propositional dynamic logic of context-free programs and fixpoint logic with chop.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
18	Frédéric Besson, Thomas P. Jensen, David Pichardie	Proof-carrying code from certified abstract interpretation and fixpoint compression.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
18	Martin Lange	The alternation hierarchy in fixpoint logic with chop is strict too.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
18	Zoran Majkic	Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models.	WLP	2006	DBLP BibTeX RDF
18	Francesco Ranzato, Francesco Tapparo	Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
18	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems with and without Fairness Assumptions	CoRR	2005	DBLP BibTeX RDF
18	Farn Wang	Under-approximation of the Greatest Fixpoint in Real-Time System Verification	CoRR	2005	DBLP BibTeX RDF
18	Zoran Majkic	Truth and knowledge fixpoint semantics for many-valued logic programming.	W(C)LP	2005	DBLP BibTeX RDF
18	Ali Habibi, Sofiène Tahar	AsmL Semantics in Fixpoint.	Abstract State Machines	2005	DBLP BibTeX RDF
18	Martin Lange, Hans-Wolfgang Loidl	Parallel and Symbolic Model Checking for Fixpoint Logic with Chop.	PDMC	2004	DBLP DOI BibTeX RDF
18	Giacomo Lenzi, Erich Monteleone	On Fixpoint Arithmetic and Infinite Time Turing Machines.	Inf. Process. Lett.	2004	DBLP DOI BibTeX RDF
18	Viktor Kuncak, K. Rustan M. Leino	On computing the fixpoint of a set of boolean equations	CoRR	2004	DBLP BibTeX RDF
18	Joost Vennekens, David Gilis, Marc Denecker	Splitting an operator: Algebraic modularity results for logics with fixpoint semantics	CoRR	2004	DBLP BibTeX RDF
18	Pascal Hitzler	Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion	CoRR	2004	DBLP BibTeX RDF
18	Linh Anh Nguyen	A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.	Fundam. Informaticae	2003	DBLP BibTeX RDF
18	Yifeng Chen	A fixpoint theory for non-monotonic parallelism.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
18	Zoran Majkic	Fixpoint Semantics for Query Answering in Data Integration Systems.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
18	Francesco Buccafurri	Multiagent Compromises and Joint Fixpoint Semantics.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
18	Neng-Fa Zhou, Taisuke Sato	Efficient fixpoint computation in linear tabling.	PPDP	2003	DBLP DOI BibTeX RDF	linear tabling, prolog, recursion, tabling, optimization techniques, memoization
18	Enrico Franconi, David Toman 0001	Fixpoint Extensions of Temporal Description Logics.	Description Logics	2003	DBLP BibTeX RDF
18	Vincent Danos, Josée Desharnais	A Fixpoint Logic for Labeled Markov Processes.	FICS	2003	DBLP BibTeX RDF
18	John Power, Giuseppe Rosolini	Fixpoint operators for domain equations.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
18	Melvin Fitting	Fixpoint semantics for logic programming a survey.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
18	Mathieu Jaume	On Greatest Fixpoint Semantics of Logic Programming.	J. Log. Comput.	2002	DBLP DOI BibTeX RDF
18	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli	An effective fixpoint semantics for linear logic programs.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
18	Hyunjun Eo, Kwangkeun Yi	An Improved Differential Fixpoint Iteration Method for Program Analysis.	APLAS	2002	DBLP BibTeX RDF
18	Maria Sorea	A Decidable Fixpoint Logic for Time-Outs.	CONCUR	2002	DBLP DOI BibTeX RDF
18	Alan M. Frisch, Daniel Sheridan, Toby Walsh	A Fixpoint Based Encoding for Bounded Model Checking.	FMCAD	2002	DBLP DOI BibTeX RDF
18	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli	An Effective Fixpoint Semantics for Linear Logic Programs	CoRR	2001	DBLP BibTeX RDF
18	Matthew Hennessy, Huimin Lin, Julian Rathke	Unique fixpoint induction for message-passing process calculi.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
18	Marc Gyssens, Dan Suciu, Dirk Van Gucht	Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra.	Inf. Comput.	2001	DBLP DOI BibTeX RDF