Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Hao Wang 0001	The Axiomatization of Arithmetic.	J. Symb. Log.	1957	DBLP DOI BibTeX RDF
10	Aquinas Hobor, Robert Dockins, Andrew W. Appel	A theory of indirection via approximation.	POPL	2010	DBLP DOI BibTeX RDF	indirection theory, step-indexed models
10	Steve Barker	Personalizing access control by generalizing access control.	SACMAT	2010	DBLP DOI BibTeX RDF	integrity, privacy policies, access control models
10	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind	Tableau calculus for preference-based conditional logics: PCL and its extensions.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Tableaux calculi, conditional logics
10	Koen V. Hindriks, John-Jules Ch. Meyer	Toward a programming theory for rational agents.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents
10	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre	Fibred Security Language.	Stud Logica	2009	DBLP DOI BibTeX RDF	Fibring, Access Control, Logic, Trust Management, Language-based Security
10	Giorgi Japaridze	Many Concepts and Two Logics of Algorithmic Reduction.	Stud Logica	2009	DBLP DOI BibTeX RDF	Affine logic, Interactivecomputation, Linear logic, Game semantics, Intuitionistic logic, Computability logic
10	Dmitry Zaitsev 0002	A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4.	Stud Logica	2009	DBLP DOI BibTeX RDF	Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
10	Tomasz Jarmuzek, Andrzej Pietruszczak	The Tense Logic for Master Argument in Prior's Reconstruction.	Stud Logica	2009	DBLP DOI BibTeX RDF	Master Argument of Diodorus Cronus, time and modalities, logical structures of time, modal and tense logics
10	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for Web services.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
10	Rajdeep Niyogi, Ramaswamy Ramanujam	An Epistemic Logic for Planning with Trials.	LORI	2009	DBLP DOI BibTeX RDF
10	Patrick Girard 0004, Jeremy Seligman	An Analytic Logic of Aggregation.	ICLA	2009	DBLP DOI BibTeX RDF	preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus
10	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
10	Samuel Mimram	The Structure of First-Order Causality.	LICS	2009	DBLP DOI BibTeX RDF
10	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
10	Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	Qualitative Possibilities and Necessities.	ECSQARU	2009	DBLP DOI BibTeX RDF
10	Ivano Ciardelli, Floris Roelofsen	Generalized inquisitive logic: completeness via intuitionistic Kripke models.	TARK	2009	DBLP DOI BibTeX RDF
10	Joseph Y. Halpern, Leandro Chaves Rêgo	Reasoning about knowledge of unawareness revisited.	TARK	2009	DBLP DOI BibTeX RDF
10	Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge	A logic of propositional control for truthful implementations.	TARK	2009	DBLP DOI BibTeX RDF
10	George Metcalfe, Nicola Olivetti	Proof Systems for a Gödel Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
10	Suzana Andova, Sonja Georgievska	On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF
10	Tetsuo Ida	Symbolic and algebraic methods in computational origami: invited talk.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner bases, graph rewriting, origami
10	Marc Pauly	On the role of language in social choice theory.	Synth.	2008	DBLP DOI BibTeX RDF	Logic, Judgment aggregation, Social choice theory
10	Tarek Sayed Ahmed	On Complete Representations of Reducts of Polyadic Algebras.	Stud Logica	2008	DBLP DOI BibTeX RDF	polyadic algebras, complete representations, Algebraic logic
10	Jaroslav Peregrin	What is the Logic of Inference?	Stud Logica	2008	DBLP DOI BibTeX RDF	nature of logic, logical operators, inference, proof theory, intuitionistic logic
10	Seiki Akama, Yasunori Nagata, Chikatoshi Yamada	Three-Valued Temporal Logic Q t and Future Contingents.	Stud Logica	2008	DBLP DOI BibTeX RDF	Q, three-valued temporal logic Q t, future contingents, Kripke semantics, Prior
10	Ewa Orlowska, Ingrid Rewitzky	Context Algebras, Context Frames, and Their Discrete Duality.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	duality via truth, attribute dependency, context, formal concept analysis, Duality, concept, implication, representation theorem
10	Susumu Nishimura	Safe Modification of Pointer Programs in Refinement Calculus.	MPC	2008	DBLP DOI BibTeX RDF
10	Marco Bernardo 0001	Towards State Space Reduction Based on T-Lumpability-Consistent Relations.	EPEW	2008	DBLP DOI BibTeX RDF
10	Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt	On the Expressiveness and Decidability of Higher-Order Process Calculi.	LICS	2008	DBLP DOI BibTeX RDF	behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
10	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
10	Samson Abramsky	Petri Nets, Discrete Physics, and Distributed Quantum Computation.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
10	Radu Mardare, Alberto Policriti	A Complete Axiomatic System for a Process-Based Spatial Logic.	MFCS	2008	DBLP DOI BibTeX RDF
10	Matthias Bräuer, Henrik Lochmann	An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning.	ESWC	2008	DBLP DOI BibTeX RDF
10	Kenneth L. McMillan	Quantified Invariant Generation Using an Interpolating Saturation Prover.	TACAS	2008	DBLP DOI BibTeX RDF
10	Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt	Learning Disjointness for Debugging Mappings between Lightweight Ontologies.	EKAW	2008	DBLP DOI BibTeX RDF
10	Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	How to Restore Compactness into Probabilistic Logics?.	JELIA	2008	DBLP DOI BibTeX RDF
10	Diego Magro, Anna Goy	Towards a first ontology for customer relationship management.	CSTST	2008	DBLP DOI BibTeX RDF	CRM ontology, customer relationship management, enterprise ontology
10	Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	A Probabilistic Logic with Polynomial Weight Formulas.	FoIKS	2008	DBLP DOI BibTeX RDF
10	Taolue Chen, Jaco van de Pol, Yanjing Wang 0001	PDL over Accelerated Labeled Transition Systems.	TASE	2008	DBLP DOI BibTeX RDF	PDL, Accelerated Labeled Transition Systems
10	Xuefeng Wen	A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.	Stud Logica	2007	DBLP DOI BibTeX RDF	relative identity, paradox of analysis, hyperintensional logic, context
10	Michael Moortgat	Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF
10	Pablo F. Castro, T. S. E. Maibaum	A Complete and Compact Propositional Deontic Logic.	ICTAC	2007	DBLP DOI BibTeX RDF	Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic
10	Peng Wu 0002, Catuscia Palamidessi, Huimin Lin	Symbolic Bisimulations for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
10	Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego	A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.	CAEPIA	2007	DBLP DOI BibTeX RDF
10	Tomoyuki Yamada	Acts of Promising in Dynamified Deontic Logic.	JSAI	2007	DBLP DOI BibTeX RDF
10	Guillaume Aucher, Andreas Herzig	From DEL to EDL : Exploring the Power of Converse Events.	ECSQARU	2007	DBLP DOI BibTeX RDF
10	Jan M. Broersen, Andreas Herzig, Nicolas Troquard	A normal simulation of coalition logic and an epistemic extension.	TARK	2007	DBLP DOI BibTeX RDF
10	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
10	Shifei Ding, Wei Ning, Fengxiang Jin, Shixiong Xia, Zhongzhi Shi	Supervised Information Feature Compression Algorithm Based on Divergence Criterion.	ICIC (2)	2007	DBLP DOI BibTeX RDF	divergence criterion, information feature compression, average separability information (ASI), information theory
10	Lucja Kot, Walker M. White	Characterization of the Interaction of XML Functional Dependencies with DTDs.	ICDT	2007	DBLP DOI BibTeX RDF
10	Evan Goris	Explicit Proofs in Formal Provability Logic.	LFCS	2007	DBLP DOI BibTeX RDF
10	Nicolas Blanc, Alex Groce, Daniel Kroening	Verifying C++ with STL containers via predicate abstraction.	ASE	2007	DBLP DOI BibTeX RDF	model checking, verification, C++, iterator, predicate abstraction, STL
10	Carlos Caleiro, Jaime Ramos	Combining Classical and Intuitionistic Implications.	FroCoS	2007	DBLP DOI BibTeX RDF
10	Jacques Simonin, Yves Le Traon, Jean-Marc Jézéquel	An Enterprise Architecture Alignment Measure for Telecom Service Development.	EDOC	2007	DBLP DOI BibTeX RDF	telecom service development, Model Driven Architecture/Engineering, alignment measure, Enterprise Architecture
10	Luigi Dragone, Riccardo Rosati 0001	Checking e-service consistency using Description Logics.	IEEE SCC	2007	DBLP DOI BibTeX RDF
10	Jeffrey S. Olson	Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.	Stud Logica	2006	DBLP DOI BibTeX RDF	positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation
10	Lee Pike	A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems
10	Tuan-Fang Fan, Duen-Ren Liu, Gwo-Hshiung Tzeng	Arrow Decision Logic for Relational Information Systems.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	Arrow logic, functional information systems, relational information systems, rough sets, multicriteria decision analysis, decision logic
10	Blanka Kozlíková, Vítezslav Svejdar	On interplay of quantifiers in Gödel-Dummett fuzzy logics.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B20, 03B52, 03B55
10	Raja R. A. Issa, Ivan Mutis	Ontology Based Framework Using a Semantic Web for Addressing Semantic Reconciliation in Construction.	EG-ICE	2006	DBLP DOI BibTeX RDF
10	Toshinori Takai, Hitoshi Furusawa	Monodic Tree Kleene Algebra.	RelMiCS	2006	DBLP DOI BibTeX RDF
10	Sandip Ray	Quantification in tail-recursive function definitions.	ACL2	2006	DBLP DOI BibTeX RDF	formal methods, logic, ACL2, conservativity, skolemization
10	Lutz Schröder, Dirk Pattinson	PSPACE Bounds for Rank-1 Modal Logics.	LICS	2006	DBLP DOI BibTeX RDF
10	Tomoyuki Yamada	Logical Dynamics of Commands and Obligations.	JSAI	2006	DBLP DOI BibTeX RDF
10	Lutz Schröder	A Finite Model Construction for Coalgebraic Modal Logic.	FoSSaCS	2006	DBLP DOI BibTeX RDF
10	Yu Sun 0005, Yuefei Sui, Zhiping Li	One Axiomatic System for the Ontology Revision.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Subsumption relation, Default inheritance, Ontologies, Belief revision
10	Shi-Fei Ding, Zhong-Zhi Shi	Divergence-Based Supervised Information Feature Compression Algorithm.	ISNN (1)	2006	DBLP DOI BibTeX RDF
10	Shifei Ding, Zhongzhi Shi, Fengxiang Jin	Supervised Feature Extraction Algorithm Based on Continuous Divergence Criterion.	ICIC (2)	2006	DBLP DOI BibTeX RDF
10	Yingcang Ma, Qiaoyan Li	A Propositional Deductive System Of Universal Logic with Projection Operator.	ISDA (1)	2006	DBLP DOI BibTeX RDF
10	Qing Liu 0011, Hui Sun	Theoretical Study of Granular Computing.	RSKT	2006	DBLP DOI BibTeX RDF	Granular logic, closeness degree, granular computing
10	Tomoyuki Yamada	Acts of Commanding and Changing Obligations.	CLIMA	2006	DBLP DOI BibTeX RDF
10	Rohit Chadha, Paulo Mateus, Amílcar Sernadas	Reasoning About States of Probabilistic Sequential Programs.	CSL	2006	DBLP DOI BibTeX RDF
10	Khalil Djelloul, Thi-Bich-Hanh Dao	Extension of First-Order Theories into Trees.	AISC	2006	DBLP DOI BibTeX RDF
10	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	Temporal qualitative coalitional games.	AAMAS	2006	DBLP DOI BibTeX RDF	logic, repeated games, coalitional games
10	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	On the logic of coalitional games.	AAMAS	2006	DBLP DOI BibTeX RDF	game theory, logic, coalitional games
10	Maria Bulinska	The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.	Stud Logica	2005	DBLP DOI BibTeX RDF	Lambek, grammar, calculus, context-free
10	Joan Gispert, Antoni Torrens	Axiomatic Extensions of IMT3 Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics
10	Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri	Representations of monadic MV -algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	Monadic algebra, Projective algebra, MV -algebra
10	Jordan Zashev	Diagonal fixed points in algebraic recursion theory.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Algebraic recursion theory-Combinatory logic
10	Daniel Kroening	Decision Procedures for the Grand Challenge.	VSTTE	2005	DBLP DOI BibTeX RDF
10	Ken Q. Pu, Alberto O. Mendelzon	Typed functional query languages with equational specifications.	CIKM	2005	DBLP DOI BibTeX RDF	functional query languages, type system, OLAP, equational logic
10	Douglas B. Lenat	Scaling Up: Computers vs. Common Sense.	LPAR	2005	DBLP DOI BibTeX RDF
10	Manas K. Patra	A Logic for Quantum Circuits and Protocols.	ICTAC	2005	DBLP DOI BibTeX RDF	complexity, quantum computing, quantum circuits, Probability logic
10	Thomas Ågotnes, Michal Walicki	Complete Axiomatizations of Finite Syntactic Epistemic States.	DALT	2005	DBLP DOI BibTeX RDF
10	François Lamarche, Lutz Straßburger	Constructing Free Boolean Categories.	LICS	2005	DBLP DOI BibTeX RDF
10	Wan J. Fokkink, Sumit Nain	A Finite Basis for Failure Semantics.	ICALP	2005	DBLP DOI BibTeX RDF
10	Yuxin Deng, Catuscia Palamidessi	Axiomatizations for Probabilistic Finite-State Behaviors.	FoSSaCS	2005	DBLP DOI BibTeX RDF
10	Adán Cabello	Communication Complexity as a Principle of Quantum Mechanics.	UC	2005	DBLP DOI BibTeX RDF
10	Chadlia Jerad, Kamel Barkaoui	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
10	Sibylle B. Fröschle, Slawomir Lasota 0001	Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.	CONCUR	2005	DBLP DOI BibTeX RDF
10	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain	Bisimilarity Is Not Finitely Based over BPA with Interrupt.	CALCO	2005	DBLP DOI BibTeX RDF
10	Roberto Bruni, Ivan Lanese, Ugo Montanari	Complete Axioms for Stateless Connectors.	CALCO	2005	DBLP DOI BibTeX RDF
10	Stefania Bandini, Alessandro Mosca 0001, Matteo Palmonari	A Hybrid Logic for Commonsense Spatial Reasoning.	AI*IA	2005	DBLP DOI BibTeX RDF
10	Wiebe van der Hoek, Michael J. Wooldridge	On the dynamics of delegation, cooperation, and control: a logical account.	AAMAS	2005	DBLP DOI BibTeX RDF	powers of agents and coalitions, propositional control, cooperation, dynamics, modal logic, delegation, dynamic logic
10	Xiangpeng Li, Qiang Tang 0011, Qing Liu 0011	An minimal axiom group of rough set based on generalized relation.	GrC	2005	DBLP DOI BibTeX RDF
10	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving correctness of timed concurrent constraint programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, reactive systems
10	Bernhard Heinemann	A Modal Logic for Discretely Descending Chains of Sets.	Stud Logica	2004	DBLP DOI BibTeX RDF	modal logic of subset spaces, completeness, decidability, temporalization
10	Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode	On Automated Lesson Construction from Electronic Textbooks.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks
10	Bernhard Heinemann	A Hybrid Logic of Knowledge Supporting Topological Reasoning.	AMAST	2004	DBLP DOI BibTeX RDF	logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization