Search results for "axiomatization"

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