Search results

Dov Gabbay (section List of research outcomes)
classical propositional logic with the Peirce-Quine dagger 2013-03-21 Paper A logic of argumentation for specification and verification of abstract argumentation...

10 bytes (16 words) - 01:43, 9 December 2023
Maurice Bruynooghe (section List of research outcomes)
semantics of logic programs with aggregates 2007-04-19 Paper Inductive Logic Programming 2006-11-01 Paper Static Analysis 2006-10-31 Paper Programming Languages...

10 bytes (14 words) - 23:41, 24 September 2023
Torsten Schaub (section List of research outcomes)
Answer Set Programming 2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there...

10 bytes (16 words) - 19:59, 11 December 2023
Henri Prade (section List of research outcomes)
analogical proportion to logical proportions 2015-02-05 Paper Logical Foundations of Possibilistic Keys 2015-01-14 Paper The Structure of Oppositions in Rough...

10 bytes (14 words) - 12:42, 7 December 2023
Ugo Dal Lago (section List of research outcomes)
characterizations of counting classes 2022-10-18 Paper On the Versatility of Open Logical Relations 2022-10-13 Paper Differential logical relations, Part...

10 bytes (16 words) - 09:43, 6 October 2023
Lars Birkedal (section List of research outcomes)
Step-Indexed Kripke Model of Separation Logic for Storable Locks 2016-07-15 Paper A Kripke logical relation for effect-based program transformations 2016-07-07...

10 bytes (15 words) - 02:23, 9 December 2023
Robert Harper (section List of research outcomes)
Mechanizing metatheory in a logical framework 2007-09-26 Paper Computer Science Logic 2006-11-01 Paper Automata, Languages and Programming 2005-08-24 Paper Corrigendum:...

10 bytes (15 words) - 19:33, 6 October 2023
José Meseguer (section List of research outcomes)
many-sorted equational logic, Horn logic with equality, and rewriting logic 2013-10-02 Paper Tiling transactions in rewriting logic 2013-10-02 Paper Modular rewriting...

10 bytes (15 words) - 10:55, 11 December 2023
Anuj Dawar (section List of research outcomes)
Paper Computer Science Logic 2007-06-21 Paper Expressiveness and complexity of graph logic 2007-03-12 Paper Mathematical Foundations of Computer Science 2005...

10 bytes (15 words) - 08:42, 7 October 2023
Alexander Bochman (section List of research outcomes)
foundationalist view of the AGM theory of belief change 2000-06-04 Paper A logical foundation for logic programming II: Semantics of general logic programs 1999-08-17...

10 bytes (13 words) - 21:25, 24 September 2023
Wiktor Marek (section List of research outcomes)
for Stable Semantics of Logic Programs 2008-01-04 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...

10 bytes (15 words) - 16:38, 11 December 2023
Carlos Olarte (section List of research outcomes)
constraint logic languages 2023-11-09 Paper A logical framework for modelling breast cancer progression 2023-10-20 Paper Proving structural properties of sequent...

10 bytes (15 words) - 11:11, 6 October 2023
Georg Gottlob (section List of research outcomes)
a source of complexity in logical formalisms 1999-09-22 Paper On the expressiveness of frame satisfiability and fragments of second-order logic 1999-01-19...

10 bytes (15 words) - 04:40, 9 December 2023
Ofer Arieli (section List of research outcomes)
Reasoning with Uncertainty 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23...

10 bytes (13 words) - 05:48, 7 October 2023
Martin Hofmann (section List of research outcomes)
2008-03-25 Paper A program logic for resources 2007-12-14 Paper Programming Languages and Systems 2007-05-02 Paper FSTTCS 2005: Foundations of Software Technology...

10 bytes (16 words) - 05:07, 12 December 2023
Pedro Cabalar (section List of research outcomes)
2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there 2020-02-18...

10 bytes (13 words) - 09:50, 7 October 2023
Wiebe van der Hoek (section List of research outcomes)
and a logic of norm compliance 2010-04-08 Paper Verification of Games in the Game Description Language 2010-01-14 Paper A logical characterisation of qualitative...

10 bytes (19 words) - 11:12, 11 December 2023
Mirosław Truszczyński (section List of research outcomes)
hyperequivalence of logic programs for modular programming 2009-11-25 Paper Simple Random Logic Programs 2009-11-10 Paper Trichotomy Results on the Complexity of Reasoning...

10 bytes (15 words) - 13:24, 10 December 2023
Martín Abadi (section List of research outcomes)
Languages and Systems 2007-09-28 Paper Foundations of Software Science and Computation Structures 2007-09-28 Paper Foundations of Software Science and Computation...

10 bytes (15 words) - 23:56, 9 December 2023
Guillermo R. Simari (section List of research outcomes)
Defeasible Logic Programming 2011-06-29 Paper A mathematical treatment of defeasible reasoning and its implementation. 2010-08-27 Paper The foundations of DeLP:...

10 bytes (16 words) - 09:00, 25 September 2023