Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Maarten H. van Emden, Robert A. Kowalski	The Semantics of Predicate Logic as a Programming Language.	J. ACM	1976	DBLP DOI BibTeX RDF
18	Florian Beier, Robert Beinert	Tangential Fixpoint Iterations for Gromov-Wasserstein Barycenters.	CoRR	2024	DBLP DOI BibTeX RDF
18	Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001	Asynchronous unfold/fold transformation for fixpoint logic.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
18	Daniel Hausmann 0001, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger	Generic Model Checking for Modal Fixpoint Logics in COOL-MC.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
18	Richard Eggert	Fixpoint Checks and Computations for Behavioural Metrics and Games. (PDF / PS)		2024	RDF
18	Mark Niklas Müller, Marc Fischer 0002, Robin Staab, Martin T. Vechev	Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
18	Hiroshi Unno 0001, Tachio Terauchi, Yu Gu 0022, Eric Koskinen	Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
18	Sven Keidel, Sebastian Erdweg, Tobias Hombücher	Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
18	Thomas Neele, Jaco van de Pol	Operations on Fixpoint Equation Systems.	CoRR	2023	DBLP DOI BibTeX RDF
18	Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics.	CoRR	2023	DBLP DOI BibTeX RDF
18	Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani	Fixpoint constructions in focused orthogonality models of linear logic.	MFPS	2023	DBLP DOI BibTeX RDF
18	Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan	A Monoidal View on Fixpoint Checks.	CoRR	2023	DBLP DOI BibTeX RDF
18	Zeinab Galal	Fixpoint operators for 2-categorical structures.	CoRR	2023	DBLP DOI BibTeX RDF
18	Daniel Hausmann 0001, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger	Generic Model Checking for Modal Fixpoint Logics in COOL-MC.	CoRR	2023	DBLP DOI BibTeX RDF
18	Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan	Fixpoint Theory - Upside Down.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Zeinab Galal	Fixpoint operators for 2-categorical structures.	LICS	2023	DBLP DOI BibTeX RDF
18	Jesse Heyninck	Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report).	NMR	2023	DBLP BibTeX RDF
18	Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).	CADE	2023	DBLP DOI BibTeX RDF
18	Angelos Charalambidis, Panos Rondogiannis	Categorical Approximation Fixpoint Theory.	JELIA	2023	DBLP DOI BibTeX RDF
18	Stanly Samuel, Deepak D'Souza, Raghavan Komondoor	Symbolic Fixpoint Algorithms for Logical LTL Games.	ASE	2023	DBLP DOI BibTeX RDF
18	Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan	A Monoidal View on Fixpoint Checks.	ICGT	2023	DBLP DOI BibTeX RDF
18	Marco Alberti 0001, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.	ICLP Technical Communications / Doctoral Consortium	2022	DBLP DOI BibTeX RDF
18	Spencer Killen, Jia-Huai You	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases.	ICLP Technical Communications / Doctoral Consortium	2022	DBLP DOI BibTeX RDF
18	Jesse Heyninck, Ofer Arieli, Bart Bogaerts 0001	Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
18	Fangfang Liu, Jia-Huai You	Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
18	Linde Vanbesien, Maurice Bruynooghe, Marc Denecker	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
18	Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer	Local higher-order fixpoint iteration.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
18	Ian A. Kash, Zhongkai Wen, Lenore D. Zuck	Dynamic relocation in ridesharing via fixpoint construction.	UAI	2022	DBLP BibTeX RDF
18	Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001	Asynchronous Unfold/Fold Transformation for Fixpoint Logic.	FLOPS	2022	DBLP DOI BibTeX RDF
18	Florian Bruse, Martin Lange, Étienne Lozes	The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
18	Bart Bogaerts 0001, Luís Cruz-Filipe	Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
18	Linde Vanbesien, Maurice Bruynooghe, Marc Denecker	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.	CoRR	2021	DBLP BibTeX RDF
18	Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan	Fixpoint Theory - Upside Down.	CoRR	2021	DBLP BibTeX RDF
18	Fangfang Liu, Jia-Huai You	Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.	CoRR	2021	DBLP BibTeX RDF
18	Bart Bogaerts 0001, Maxime Jakubowski	Fixpoint Semantics for Recursive SHACL.	ICLP Technical Communications	2021	DBLP DOI BibTeX RDF
18	Eric Alsmann, Florian Bruse, Martin Lange	Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
18	Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada	A Probabilistic Higher-order Fixpoint Logic.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev	LNL-FPC: The Linear/Non-linear Fixpoint Calculus.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
18	Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan	Fixpoint Theory - Upside Down.	FoSSaCS	2021	DBLP DOI BibTeX RDF
18	Spencer Killen, Jia-Huai You	Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.	ICLP Workshops	2021	DBLP BibTeX RDF
18	Florian Bruse, Martin Lange	A Decidable Non-Regular Modal Fixpoint Logic.	CONCUR	2021	DBLP DOI BibTeX RDF
18	Jesse Heyninck, Ofer Arieli	Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.	KR	2021	DBLP DOI BibTeX RDF
18	Simon Marynissen, Bart Bogaerts 0001, Marc Denecker	On the Relation Between Approximation Fixpoint Theory and Justification Theory.	IJCAI	2021	DBLP DOI BibTeX RDF
18	Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur	Deterministic parallel fixpoint computation.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
18	Xiaohong Chen 0002, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu	Towards a unified proof framework for automated fixpoint reasoning using matching logic.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
18	Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer	Local Higher-Order Fixpoint Iteration.	GandALF	2020	DBLP DOI BibTeX RDF
18	Paolo Baldan, Barbara König 0001, Tommaso Padoan	Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations.	CoRR	2020	DBLP BibTeX RDF
18	Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada	A Probabilistic Higher-order Fixpoint Logic.	CoRR	2020	DBLP BibTeX RDF
18	Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur	Memory-Efficient Fixpoint Computation.	CoRR	2020	DBLP BibTeX RDF
18	Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada	A Probabilistic Higher-Order Fixpoint Logic.	FSCD	2020	DBLP DOI BibTeX RDF
18	Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur	Memory-Efficient Fixpoint Computation.	SAS	2020	DBLP DOI BibTeX RDF
18	Jesse Heyninck, Ofer Arieli	Argumentative Reflections of Approximation Fixpoint Theory.	COMMA	2020	DBLP DOI BibTeX RDF
18	Naoki Kobayashi 0001, Grigory Fedyukovich, Aarti Gupta	Fold/Unfold Transformations for Fixpoint Logic.	TACAS (2)	2020	DBLP DOI BibTeX RDF
18	Paolo Baldan, Barbara König 0001, Tommaso Padoan	Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations.	CONCUR	2020	DBLP DOI BibTeX RDF
18	Paolo Baldan, Barbara König 0001, Christina Mika-Michalski, Tommaso Padoan	Fixpoint games on continuous lattices.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
18	Dominik Adolf, Grigor Sargsyan	Derived Models of mice below the least Fixpoint of the Solovay sequence.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
18	Frank M. V. Feys, Helle Hvid Hansen	Arrow's Theorem Through a Fixpoint Argument.	TARK	2019	DBLP DOI BibTeX RDF
18	Tom van Dijk, Bob Rubbens	Simple Fixpoint Iteration To Solve Parity Games.	GandALF	2019	DBLP DOI BibTeX RDF
18	Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur	Deterministic Parallel Fixpoint Computation.	CoRR	2019	DBLP BibTeX RDF
18	Michael Benedikt, Pierre Bourhis, Michael Vanden Boom	Definability and Interpolation within Decidable Fixpoint Logics.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
18	Martin Lange	Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results.	ICLA	2019	DBLP DOI BibTeX RDF
18	Thorsten Blaß, Michael Philippsen	GPU-accelerated fixpoint algorithms for faster compiler analyses.	CC	2019	DBLP DOI BibTeX RDF
18	Bart Bogaerts 0001	Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory.	AAAI	2019	DBLP DOI BibTeX RDF
18	Lawton Nichols, Mehmet Emre, Ben Hardekopf	Fixpoint reuse for incremental JavaScript analysis.	SOAP@PLDI	2019	DBLP DOI BibTeX RDF
18	Naoki Kobayashi 0001, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno 0001	Temporal Verification of Programs via First-Order Fixpoint Logic.	SAS	2019	DBLP DOI BibTeX RDF
18	Fangfang Liu, Jia-Huai You	Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.	RuleML+RR	2019	DBLP DOI BibTeX RDF
18	Patrick Cousot	On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics.	LOPSTR	2019	DBLP DOI BibTeX RDF
18	Lutz Schröder, Yde Venema	Completeness of Flat Coalgebraic Fixpoint Logics.	ACM Trans. Comput. Log.	2018	DBLP DOI BibTeX RDF
18	Bart Bogaerts 0001, Luís Cruz-Filipe	Fixpoint semantics for active integrity constraints.	Artif. Intell.	2018	DBLP DOI BibTeX RDF
18	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.	CoRR	2018	DBLP BibTeX RDF
18	Paolo Baldan, Barbara König 0001, Tommaso Padoan, Christina Mika-Michalski	Fixpoint Games on Continuous Lattices.	CoRR	2018	DBLP BibTeX RDF
18	Sebastian Enqvist	Flat modal fixpoint logics with the converse modality.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
18	Julian Gutierrez 0001	On fixpoint logics and equivalences for processes with restricted nondeterminism.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
18	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.	Theory Pract. Log. Program.	2018	DBLP DOI BibTeX RDF
18	Yoji Nanjo, Hiroshi Unno 0001, Eric Koskinen, Tachio Terauchi	A Fixpoint Logic and Dependent Effects for Temporal Property Verification.	LICS	2018	DBLP DOI BibTeX RDF
18	Sebastian Enqvist	Flat modal fixpoint logics with the converse modality.	CoRR	2017	DBLP BibTeX RDF
18	Michael Benedikt, Pierre Bourhis, Michael Vanden Boom	Characterizing Definability in Decidable Fixpoint Logics.	CoRR	2017	DBLP BibTeX RDF
18	Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie	Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates.	CoRR	2017	DBLP BibTeX RDF
18	Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari	Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
18	Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi	Fixpoint semantics and optimization of recursive Datalog programs with aggregates.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
18	Naoki Kobayashi 0001, Étienne Lozes, Florian Bruse	On the relationship between higher-order recursion schemes and higher-order fixpoint logic.	POPL	2017	DBLP DOI BibTeX RDF
18	Michael Benedikt, Pierre Bourhis, Michael Vanden Boom	Characterizing Definability in Decidable Fixpoint Logics.	ICALP	2017	DBLP DOI BibTeX RDF
18	Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese	Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.	ICTCS/CILC	2017	DBLP BibTeX RDF
18	Florian Bruse, Martin Lange, Étienne Lozes	Space-Efficient Fragments of Higher-Order Fixpoint Logic.	RP	2017	DBLP DOI BibTeX RDF
18	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho	On Solving Nominal Fixpoint Equations.	FroCoS	2017	DBLP DOI BibTeX RDF
18	Bart Bogaerts 0001, Luís Cruz-Filipe	Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory.	IJCAI	2017	DBLP DOI BibTeX RDF
18	Wojciech Jamroga, Michal Knapik, Damian Kurpiewski	Fixpoint Approximation of Strategic Abilities under Imperfect Information.	AAMAS	2017	DBLP BibTeX RDF
18	Sylvain Salvati, Igor Walukiewicz	Simply typed fixpoint calculus and collapsible pushdown automata.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
18	Nick Bezhanishvili, Clemens Kupke	Games for Topological Fixpoint Logic.	GandALF	2016	DBLP DOI BibTeX RDF
18	Florian Bruse	Alternation Is Strict For Higher-Order Modal Fixpoint Logic.	GandALF	2016	DBLP DOI BibTeX RDF
18	Michael Benedikt, Pierre Bourhis, Michael Vanden Boom	A Step Up in Expressiveness of Decidable Fixpoint Logics.	LICS	2016	DBLP DOI BibTeX RDF
18	Stefan Milius, Dirk Pattinson, Thorsten Wißmann	A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties.	FoSSaCS	2016	DBLP DOI BibTeX RDF
18	Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng 0002	Flexible Approximators for Approximating Fixpoint Theory.	Canadian AI	2016	DBLP DOI BibTeX RDF
18	Sebastian Enqvist, Fatemeh Seifan, Yde Venema	Completeness for Coalgebraic Fixpoint Logic.	CSL	2016	DBLP DOI BibTeX RDF
18	Tuba Yavuz	Combining Predicate Abstraction with Fixpoint Approximations.	SEFM	2016	DBLP DOI BibTeX RDF
18	Maximilian Schlund	Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications.		2016	RDF
18	Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse	Abstraction in Fixpoint Logic.	ACM Trans. Comput. Log.	2015	DBLP DOI BibTeX RDF
18	Hannes Strass, Johannes Peter Wallner	Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.	Artif. Intell.	2015	DBLP DOI BibTeX RDF
18	Johannes Marti, Fatemeh Seifan, Yde Venema	Uniform Interpolation for Coalgebraic Fixpoint Logic.	CoRR	2015	DBLP BibTeX RDF
18	Bart Bogaerts 0001, Guy Van den Broeck	Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory.	CoRR	2015	DBLP BibTeX RDF