Search results for "Fixpoints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Horatiu Cirstea, Luigi Liquori, Benjamin Wack	Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.	TYPES	2003	DBLP DOI BibTeX RDF	Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
70	Abhay Vardhan, Mahesh Viswanathan 0001	Learning to verify branching time properties.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification, Learning, CTL
56	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
51	Joseph M. Morris, Malcolm Tyrrell	Dual unbounded nondeterminacy, recursion, and fixpoints.	Acta Informatica	2007	DBLP DOI BibTeX RDF
51	Francesco Buccafurri, Georg Gottlob	Multiagent Compromises, Joint Fixpoints, and Stable Models.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
51	Joachim Lambek	Fixpoints Revisited.	Logic at Botik	1989	DBLP DOI BibTeX RDF
51	E. Allen Emerson, Edmund M. Clarke	Characterizing Correctness Properties of Parallel Programs Using Fixpoints.	ICALP	1980	DBLP DOI BibTeX RDF
45	Stephan Kreutzer, Martin Lange	A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order.	FICS	2009	DBLP BibTeX RDF
42	Martin Hofmann 0001	Proof-Theoretic Approach to Description-Logic.	LICS	2005	DBLP DOI BibTeX RDF
42	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
40	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	2008	DBLP DOI BibTeX RDF	?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
40	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
40	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	Helmut Seidl, Andreas Neumann 0001	On Guarding Nested Fixpoints.	CSL	1999	DBLP DOI BibTeX RDF
37	Ingbert Kupka	Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
37	Li-Ling Chen, Williams Ludwell Harrison III	An efficient approach to computing fixpoints for complex program analysis.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	fixpoint computation, program analysis, abstract interpretation, optimizing compilers
37	Li-Yan Yuan	On Semantics, Syntactics and Fixpoints of General Programs.	ICCI	1991	DBLP DOI BibTeX RDF
37	Robert F. Stärk	On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle.	CSL	1990	DBLP DOI BibTeX RDF
28	Rajeev Alur, Aditya Kanade, Gera Weiss	Ranking Automata and Games for Prioritized Requirements.	CAV	2008	DBLP DOI BibTeX RDF
28	Jouni Järvinen	Lattice Theory for Rough Sets.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
28	Abhay Vardhan, Mahesh Viswanathan 0001	Learning to verify branching time properties.	ASE	2005	DBLP DOI BibTeX RDF	CTL, computational learning theory, infinite state systems
28	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
28	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Polynomial Approximations for Model Checking.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	model checking, complexity, Calculus
28	Alan M. Frisch, Daniel Sheridan, Toby Walsh	A Fixpoint Based Encoding for Bounded Model Checking.	FMCAD	2002	DBLP DOI BibTeX RDF
28	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Symbolic guided search for CTL model checking.	DAC	2000	DBLP DOI BibTeX RDF
28	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
28	Arend Rensink	A Complete Theory of Deterministic Event Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
28	José Meseguer 0001	Relating Models of Polymorphism.	POPL	1989	DBLP DOI BibTeX RDF
28	Jan Chomicki, Tomasz Imielinski	Relational Specifications of Infinite Query Answers.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF	DATALOG
28	Joost N. Kok	Denotational Semantics of Nets with Nondeterminism.	ESOP	1986	DBLP DOI BibTeX RDF
28	Peter K. Rathmann	The Cost of Locking.	ICDT	1986	DBLP DOI BibTeX RDF
26	Gaëlle Fontaine	Continuous Fragment of the mu-Calculus.	CSL	2008	DBLP DOI BibTeX RDF	Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus
26	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
26	Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle	Causality analysis of synchronous programs with delayed actions.	CASES	2004	DBLP DOI BibTeX RDF	causality, synchronous languages, ternary logic, fixpoints
26	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	The Well-Founded Semantics for General Logic Programs.	J. ACM	1991	DBLP DOI BibTeX RDF	unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
23	Mattias Granberg Olsson, Graham E. Leigh	Revisiting the conservativity of fixpoints over intuitionistic arithmetic.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
23	Barbara König 0001	Approximating Fixpoints of Approximated Functions (Invited Talk).	CSL	2024	DBLP DOI BibTeX RDF
23	Joachim Breitner	More Fixpoints! (Functional Pearl).	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
23	Spencer Killen, Jia-Huai You	Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems.	CoRR	2023	DBLP DOI BibTeX RDF
23	Denis Hirn, Torsten Grust	A Fix for the Fixation on Fixpoints.	CIDR	2023	DBLP BibTeX RDF
23	Farzad Jafarrahmani	Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek).		2023	RDF
23	Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan	Model-guided synthesis of inductive lemmas for FOL with least fixpoints.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
23	Anton Golov, Sebastiaan A. Terwijn	Fixpoints and relative precompleteness.	Comput.	2022	DBLP DOI BibTeX RDF
23	Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini	Universal Algorithms for Parity Games and Nested Fixpoints.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
23	Piero A. Bonatti, Luigi Sauro	Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure.	KR	2022	DBLP BibTeX RDF
23	Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem	Automata and fixpoints for asynchronous hyperproperties.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
23	Anton Golov, Sebastiaan A. Terwijn	Fixpoints and relative precompleteness.	CoRR	2021	DBLP BibTeX RDF
23	Florian Bruse, Marco Sälzer, Martin Lange	Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.	MFCS	2021	DBLP DOI BibTeX RDF
23	Daniel Hausmann 0001, Lutz Schröder	Quasipolynomial Computation of Nested Fixpoints.	TACAS (1)	2021	DBLP DOI BibTeX RDF
23	Magnus Madsen, Ondrej Lhoták	Fixpoints for the masses: programming with first-class Datalog constraints.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
23	Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem	Automata and Fixpoints for Asynchronous Hyperproperties.	CoRR	2020	DBLP BibTeX RDF
23	Robin Richter, Duy Hoang Thai, Stephan F. Huckemann	Generalized Intersection Algorithms with Fixpoints for Image Decomposition Learning.	CoRR	2020	DBLP BibTeX RDF
23	Florian Bruse	Extremal fixpoints for higher-order modal logic.		2020	RDF
23	Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco	Finite semantics of polymorphism, complexity and the power of type fixpoints.	CoRR	2019	DBLP BibTeX RDF
23	Daniel Hausmann 0001, Lutz Schröder	Computing Nested Fixpoints in Quasipolynomial Time.	CoRR	2019	DBLP BibTeX RDF
23	Radim Belohlávek, Jan Konecny 0001	A reduction theorem to compute fixpoints of fuzzy closure operators.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
23	Walter Guttmann	Connecting Fixpoints of Computations with Strict Progress.	UTP	2019	DBLP DOI BibTeX RDF
23	Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong	Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog.	ESOP	2019	DBLP DOI BibTeX RDF
23	Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong	Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog.	CoRR	2018	DBLP BibTeX RDF
23	Kálmán Palágyi, Gábor Németh	Fixpoints of Iterated Reductions with Equivalent Deletion Rules.	IWCIA	2018	DBLP DOI BibTeX RDF
23	Radim Belohlávek, Jan Konecny 0001	Fixpoints of fuzzy closure operators via ordinary algorithms.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
23	Stefan Milius, Lutz Schröder, Thorsten Wißmann	Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
23	Luís Cruz-Filipe	Grounded Fixpoints and Active Integrity Constraints.	CoRR	2016	DBLP BibTeX RDF
23	Luís Cruz-Filipe	Grounded Fixpoints and Active Integrity Constraints.	ICLP (Technical Communications)	2016	DBLP DOI BibTeX RDF
23	Simon Andrews	A 'Best-of-Breed' approach for designing a fast algorithm for computing fixpoints of Galois Connections.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
23	Bart Bogaerts 0001, Joost Vennekens, Marc Denecker	Grounded fixpoints and their applications in knowledge representation.	Artif. Intell.	2015	DBLP DOI BibTeX RDF
23	Anita Abildgaard Sillasen	Subdigraphs of almost Moore digraphs induced by fixpoints of an automorphism.	Electron. J. Graph Theory Appl.	2015	DBLP DOI BibTeX RDF
23	Frédéric Blanqui	A point on fixpoints in posets.	CoRR	2015	DBLP BibTeX RDF
23	Bart Bogaerts 0001, Joost Vennekens, Marc Denecker	Grounded Fixpoints.	AAAI	2015	DBLP DOI BibTeX RDF
23	Alexander Kurz 0001, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries	Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.	CALCO	2015	DBLP DOI BibTeX RDF
23	Bart Bogaerts 0001, Joost Vennekens, Marc Denecker	Partial Grounded Fixpoints.	IJCAI	2015	DBLP BibTeX RDF
23	Mathys Rennela	Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras.	MFPS	2014	DBLP DOI BibTeX RDF
23	Kaustuv Chaudhuri, Nicolas Guenot	Equality and fixpoints in the calculus of structures.	CSL-LICS	2014	DBLP DOI BibTeX RDF
23	Nathalie Bertrand 0001, Philippe Schnoebelen	Computable fixpoints in well-structured symbolic model checking.	Formal Methods Syst. Des.	2013	DBLP DOI BibTeX RDF
23	Pierre Clairambault	Strong functors and interleaving fixpoints in game semantics.	RAIRO Theor. Informatics Appl.	2013	DBLP DOI BibTeX RDF
23	Patrick Koopmann, Renate A. Schmidt	Uniform Interpolation of -Ontologies Using Fixpoints.	FroCos	2013	DBLP DOI BibTeX RDF
23	Jan Outrata, Vilém Vychodil	Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
23	Thomas Brihaye, Laurent Doyen 0001, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001	Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints	CoRR	2012	DBLP BibTeX RDF
23	Aloïs Brunel, Antoine Madet	Indexed realizability for bounded-time programming with references and type fixpoints	CoRR	2012	DBLP BibTeX RDF
23	Aloïs Brunel, Antoine Madet	Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.	APLAS	2012	DBLP DOI BibTeX RDF
23	Davide Grossi	Fixpoints and Iterated Updates in Abstract Argumentation.	KR	2012	DBLP BibTeX RDF
23	Walter Guttmann	Fixpoints for general correctness.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
23	Enrico Franconi, David Toman 0001	Fixpoints in Temporal Description Logics.	IJCAI	2011	DBLP DOI BibTeX RDF
23	Petr Krajca, Jan Outrata, Vilém Vychodil	Parallel algorithm for computing fixpoints of Galois connections.	Ann. Math. Artif. Intell.	2010	DBLP DOI BibTeX RDF
23	Pierre Clairambault	Least and greatest fixpoints in game semantics	CoRR	2010	DBLP BibTeX RDF
23	Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil	Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator.	IEEE Trans. Fuzzy Syst.	2010	DBLP DOI BibTeX RDF
23	Carsten Lutz, Robert Piro, Frank Wolter	Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.	ECAI	2010	DBLP BibTeX RDF
23	Carsten Lutz, Robert Piro, Frank Wolter	EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.	Description Logics	2010	DBLP BibTeX RDF
23	Marek Czarnecki	How Fast Can the Fixpoints in Modal mu-Calculus Be Reached?	FICS	2010	DBLP BibTeX RDF
23	Thomas Gawlitza, Helmut Seidl	Games through Nested Fixpoints.	CAV	2009	DBLP DOI BibTeX RDF
23	Pierre Clairambault	Least and Greatest Fixpoints in Game Semantics.	FoSSaCS	2009	DBLP DOI BibTeX RDF
23	Pierre Clairambault	Least and Greatest Fixpoints in Game Semantics.	FICS	2009	DBLP BibTeX RDF
23	Martin Hofmann 0001, Dulma Rodriguez	Membership Checking in Greatest Fixpoints Revisited.	FICS	2009	DBLP BibTeX RDF
23	Natarajan Shankar	Fixpoints and Search in PVS.	LASER Summer School	2008	DBLP DOI BibTeX RDF
23	Élodie-Jane Sims	Extending separation logic with fixpoints and postponed substitution.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
23	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems	CoRR	2006	DBLP BibTeX RDF
23	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.	LPAR	2006	DBLP DOI BibTeX RDF
23	Vahan Margaryan	Some Existence and Preservation Results for Optimal Fixpoints.	FCS	2006	DBLP BibTeX RDF
23	Farn Wang	Under-approximation of the Greatest Fixpoints in Real-Time System Verification	CoRR	2005	DBLP BibTeX RDF
23	Igor Walukiewicz	How to Fix It: Using Fixpoints in Different Contexts.	LPAR	2004	DBLP DOI BibTeX RDF