Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Planning with Transaction Logic
Basseda, Reza, Kifer, Michael, Bonner, Anthony J.
Published in Web Reasoning and Rule Systems (2014)
Published in Web Reasoning and Rule Systems (2014)
Get full text
Book Chapter
Loading…
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Get full text
Book Chapter
Conference Proceeding
Loading…
Loading…
Loading…
The undecidability of proof search when equality is a logical connective
Miller, Dale, Viel, Alexandre
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Get full text
Journal Article
Loading…
Towards the entropy-limit conjecture
Landes, Jürgen, Rafiee Rad, Soroush, Williamson, Jon
Published in Annals of pure and applied logic (01.02.2021)
Published in Annals of pure and applied logic (01.02.2021)
Get full text
Journal Article
Loading…
3 THE LOGIC OF TIME AND TENSE
Published in Routledge Companion to Philosophy of Language
(2012)
Get full text
Book Chapter
Loading…
Loading…
Loading…
Towards Categorical Fuzzy Logic Programming
Eklund, Patrik, Galán, M. Ángeles, Helgesson, Robert, Kortelainen, Jari, Moreno, Ginés, Vázquez, Carlos
Published in Fuzzy Logic and Applications (2013)
Published in Fuzzy Logic and Applications (2013)
Get full text
Book Chapter
Conference Proceeding