Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Lutz Schröder, Till Mossakowski |
Generic Exception Handling and the Java Monad. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Riccardo Pucella, Vicky Weissman |
Reasoning about Dynamic Policies. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Henry A. Kautz |
Toward A Universal Inference Engine. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mario Bravetti |
Real Time and Stochastic Time. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Pedro Cabalar, David Lorenzo |
Logic Programs with Functions and Default Values. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Balbiani, Tinko Tinchev |
Line-Based Affine Reasoning in Euclidean Plane. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer |
Dynamic Logic for Plan Revision in Intelligent Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Athanassios Tzouvaras |
The Logic of Multisets Continued: The Case of Disjunction. |
Stud Logica |
2003 |
DBLP DOI BibTeX RDF |
disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset |
10 | Yde Venema |
Representation of Game Algebras. |
Stud Logica |
2003 |
DBLP DOI BibTeX RDF |
game algebra, algebraic lattice expansion, game theory, representation theory |
10 | Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani |
Formal Reasoning Techniques for Goal Models. |
J. Data Semantics |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Valentin Goranko, Bruce M. Kapron |
The modal logic of the countable random frame. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Furio Honsell, Marina Lenisa, Rekha Redamalla |
Strict Geometry of Interaction Graph Models. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
(linear) graph model, traced monoidal category, weak linear category, categorical geometry of interaction |
10 | Horacio L. Arló-Costa |
Iterated abduction and conditional coherence. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jan Brase, Mark Painter, Wolfgang Nejdl |
Completing LOM - How Additional Axioms Increase the Utility of Learning Object Metadata. |
ICALT |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Concurrent dynamic epistemic logic for MAS. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
concurrency, agent communication, dynamic epistemic logic |
10 | Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein |
DAML+OIL: An Ontology Language for the Semantic Web. |
IEEE Intell. Syst. |
2002 |
DBLP DOI BibTeX RDF |
OIL, Semantic Web, markup language, DAML, DARPA, ontology language |
10 | Prasannaa Thati, Reza Ziaei, Gul Agha |
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
Proving Correctness of Timed Concurrent Constraint Programs. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, constraints, temporal logic, real-time programming |
10 | Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani |
Reasoning with Goal Models. |
ER |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Eric Neufeld |
Clue as a Testbed for Automated Theorem Proving. |
AI |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jos C. M. Baeten, Erik P. de Vink |
Axiomatizing GSOS with Termination. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Carlo Montangero, Laura Semini |
istributed States Logic. |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Aldo Gangemi, Nicola Guarino, Claudio Masolo, Alessandro Oltramari, Luc Schneider |
Sweetening Ontologies with DOLCE. |
EKAW |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Cory J. Butz, Manon J. Sanscartier |
Properties of Weak Conditional Independence. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin |
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
superintuitionistic logics, Kolmogorov complexity, realizability |
10 | Masahito Hasegawa |
Classical Linear Logic of Implications. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Tatiana Rybina, Andrei Voronkov |
A decision procedure for term algebras with queues. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
trees, queues, words, term algebras |
10 | Riccardo Mattolini, Paolo Nesi |
An Interval Logic for Real-Time System Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic |
10 | Francesc Esteva, Lluís Godo, Franco Montagna |
The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Balbiani |
Emptiness Relations in Property Systems. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Peter Dybjer, Anton Setzer |
Indexed Induction-Recursion. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras |
10 | Anatoli Degtyarev, Michael Fisher 0001 |
Towards First-Order Temporal Resolution. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Masahito Hasegawa, Yoshihiko Kakutani |
Axioms for Recursion in Call-by-Value. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Axiomatizing Tropical Semirings. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations |
10 | Zoltán Ésik |
The Equational Theory of Fixed Points with Applications to Generalized Language Theory. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Andrea Formisano 0001, Eugenio G. Omodeo, Marco Temperini |
Instructing Equational Set-Reasoning with Otter. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
Set reasoning, map algebra, first-order theorem proving |
10 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Heinemann |
About the Temporal Decrease of Sets. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Cory J. Butz |
On Axiomatizing Probabilistic Conditional Independencies in Bayesian Networks. |
Web Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Michael Thielscher |
Planning with Noisy Actions. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan 0001 |
Knowledge in multiagent systems: initial configurations and broadcast. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
computational complexity, completeness |
10 | Nir Friedman, Joseph Y. Halpern, Daphne Koller |
First-order conditional logic for default reasoning revisited. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
KLM properties, plausibility measures, completeness, first-order logic, default reasoning, conditional logic |
10 | Matthias Baaz, Agata Ciabattoni, Richard Zach |
Quantified Propositional Gödel Logics. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Reus, Tatjana Hein |
Towards a Machine-Checked Java Specification Book. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Tatiana Rybina, Andrei Voronkov |
A Decision Procedure for Term Algebras with Queues. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Mark Reynolds 0001 |
More Past Glories. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
temporal logic, automata, axiomatizations |
10 | Ben C. Moszkowski |
An Automata-Theoretic Completeness Proof for Interval Temporal Logic. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Samson Abramsky, Marina Lenisa |
Axiomatizing Fully Complete Models for ML Polymorphic Types. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alberto Ciaffaglione, Pietro Di Gianantonio |
A Tour with Constructive Real Numbers. |
TYPES |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Yves Le Traon, Farid Ouabdesselam, Chantal Robach |
Analyzing Testability on Data Flow Designs. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Wenfei Fan, Jérôme Siméon |
Integrity Constraints for XML. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Levent Erkök, John Launchbury |
Recursive monadic bindings. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
10 | George C. Necula, Peter Lee 0001 |
Proof Generation in the Touchstone Theorem Prover. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Aleksander Binemann-Zdanowicz |
Systematization of Approaches to Equality-Generating Constraints. |
ADBIS-DASFAA |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Zoltán Ésik |
Axiomatizing the Least Fixed Point Operation and Binary Supremum. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Joseph M. Morris, Alexander Bunkenburg |
Specificational functions. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
logic, function, expression, refinement calculus, nondeterminacy |
10 | Leopoldo E. Bertossi, Javier Pinto |
Specifying Active Rules for Database Maintenance. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Norbert Völker |
Disjoint Sums over Type Classes in HOL. |
TPHOLs |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Joseph Y. Halpern, Ron van der Meyden |
A Logic for SDSI's Linked Local Name Spaces. |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Alex K. Simpson |
Elementary Axioms for Categories of Classes. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Stephan Merz |
A More Complete TLA. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
10 | David Delahaye |
Information Retrieval in a Coq Proof Library Using Type Isomorphisms. |
TYPES |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Chiara Ghidini, Luciano Serafini |
A Context-Based Logic for Distributed Knowledge Representation and Reasoning. |
CONTEXT |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jef Wijsen, Raymond T. Ng |
Temporal Dependencies Generalized for Spatial and Other Dimensions. |
Spatio-Temporal Database Management |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Yuxi Fu |
Open Bisimulations on Chi Processes. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Claudio Masolo, Laure Vieu |
Atomicity vs. Infinite Divisibility of Space. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
ontology of space, axiomatic theories of space, qualitative spatial reasoning, spatial data representation |
10 | James C. Dehnert, Alexander Stepanov 0001 |
Fundamentals of Generic Programming. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
Generic programming, operator semantics, concept, regular type |
10 | François Puitg, Jean-François Dufourd |
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
10 | François Puitg, Jean-François Dufourd |
Formal Program Development in Geometric Modeling. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Yuxi Fu |
Bisimulation Lattice of Chi Processes. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Michael Thielscher |
Towards State Update Axioms: Reifying Successor State Axioms. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Thomas P. Jensen |
Disjunctive Program Analysis for Algebraic Data Types. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
abstract interpretaton, binding-time and data-flow analysis, nonstandard type systems, lambda calculus, strictness analysis |
10 | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
Toward a Complete Transformational Toolkit for Compilers. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language |
10 | Carlos H. C. Duarte |
Towards a Proof-Theoretic Foundation for Actor Specification and Verification. |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
Distributed Systems, Verification, Specification, Actors, Proof-Theory |
10 | Marco Bernardo 0001 |
An Algebra-Based Method to Associate Rewards with EMPA Terms. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Heinemann |
A Topological Generalization of Propositional Linear Time Temporal Logic. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Tom Cornell |
Derivational and Representational Views of Minimalist Tranformational Grammar. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Roland N. Bol, Jan Friso Groote |
The Meaning of Negative Premises in Transition System Specifications. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
ntyft/ntyxt-format, conservative extension of TSSs, negative premises, priorities and abstraction, logic programming, process algebra, bisimulation, congruence |
10 | Sheng Liang, Paul Hudak |
Modular Denotational Semantics for Compiler Construction. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
A Complete Transformational Toolkit for Compilers. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Zoltán Ésik, Anna Labella |
Equational Properties of Iteration in Algebraically Complete Categories. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López |
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Gianna Cioni, Attilio Colagrossi, Marco Temperini |
An Approach to Class Reasoning in Symbolic Computation. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Riccardo Mattolini, Paolo Nesi |
Using TILCO for Specifying Real-Time Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Vladimiro Sassone |
On the Category of Petri Net Computations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Luca Aceto, Anna Ingólfsdóttir |
CPO Models for a Class of GSOS Languages. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Zoltán Ésik, Michael Bertol |
Nonfinite Axiomatizability of the Equational Theory of Shuffle. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Reinhold Heckmann |
Probabilistic Domains. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | V. Natarajan 0001, Ivan Christoff, Linda Christoff, Rance Cleaveland |
Priority and Abstraction in Process Algebra. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt 0001 |
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Douglas R. Busch |
An Expressive Three-valued Logic with Two Negations. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Naima Brown, Dominique Méry |
A Proof Environment for Concurrent Programs. |
FME |
1993 |
DBLP DOI BibTeX RDF |
formal specifications, concurrency, program verification, Automated theorem proving, B, Unity |
10 | Mohsin Ahmed, G. Venkatesh |
A Propositional Dense Time Logic (Based on Nested Sequences). |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
ordinal trees, Temporal logic, dense time |
10 | Don Pigozzi, Antonino Salibra |
A Representation Theorem for Lambda Abstraction Algebras. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Eugenio G. Omodeo, Alberto Policriti |
Decision Procedures for Set/Hyperset Contexts. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Dexter Kozen |
Logical Aspects of Set Constraints. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
10 | François Barthélemy, Éric Villemonte de la Clergerie |
Subsumption-oriented Push-Down Automata. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|