Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Boyan Dimitrov	The Axioms in My Understanding from Many Years of Experience.	Axioms	2021	DBLP DOI BibTeX RDF
26	Larry Bates, Richard Cushman, Jedrzej Sniatycki	Correction: Bates et al. Vector Fields and Differential Forms on the Orbit Space of a Proper Action. Axioms 2021, 10, 118.	Axioms	2021	DBLP DOI BibTeX RDF
26	Taekyun Kim 0001, Cheon Seoung Ryoo	Corrections: Kim, T.; et al. Some Identities for Euler and Bernoulli Polynomials and Their Zeros. Axioms 2018, 7, 56.	Axioms	2019	DBLP DOI BibTeX RDF
26	Francesca Mazzia, Alessandra Sestini	Correction to "On a Class of Hermite-Obreshkov One-Step Methods with Continuous Spline Extension" [Axioms 7(3), 58, 2018].	Axioms	2019	DBLP DOI BibTeX RDF
26	Igor Líska, Beloslav Riecan, Anna Tirpáková	An Alternative to Real Number Axioms.	Axioms	2018	DBLP DOI BibTeX RDF
26	Tahsin Oner, Ibrahim Senturk, Gulsah Oner	An Independent Set of Axioms of MV-Algebras and Solutions of the Set-Theoretical Yang-Baxter Equation.	Axioms	2017	DBLP DOI BibTeX RDF
22	Adel Bouhoula	Simultaneous checking of completeness and ground confluence for algebraic specifications.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction
22	Chan Le Duc	Decidability of SHI with Transitive Closure of Roles.	ESWC	2009	DBLP DOI BibTeX RDF	OWL, Description Logics, Decidability, Tableaux
22	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
22	Nick Bezhanishvili, Mai Gehrke	Free Heyting Algebras: Revisited.	CALCO	2009	DBLP DOI BibTeX RDF
22	Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely	Axiomatizing Relativistic Dynamics without Conservation Postulates.	Stud Logica	2008	DBLP DOI BibTeX RDF	relativistic dynamics, equivalence of mass and energy, foundation of relativity, first-order logic, axiomatization
22	Renate A. Schmidt, Dmitry Tishkovsky	On combinations of propositional dynamic logic and doxastic modal logics.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
22	Jean-Lou De Carufel, Jules Desharnais	Latest News about Demonic Algebra with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
22	Zhou Shengming, Liao Yuanxiu	Sensing Action and Knowledge Reasoning Independent of Designer.	CSSE (1)	2008	DBLP DOI BibTeX RDF
22	Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt	Learning Disjointness for Debugging Mappings between Lightweight Ontologies.	EKAW	2008	DBLP DOI BibTeX RDF
22	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.	CiE	2008	DBLP DOI BibTeX RDF
22	Martín Abadi	Variations in Access Control Logic.	DEON	2008	DBLP DOI BibTeX RDF
22	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
22	Zhenhua Duan, Nan Zhang 0001	A Complete Axiomatization of Propositional Projection Temporal Logic.	TASE	2008	DBLP DOI BibTeX RDF	temporal logic, completeness, projection, inference rules, axiom
22	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Discovering Documentation for Java Container Classes.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF
22	Maria Vanina Martinez, Andrea Pugliese 0001, Gerardo I. Simari, V. S. Subrahmanian, Henri Prade	How Dirty Is Your Relational Database? An Axiomatic Approach.	ECSQARU	2007	DBLP DOI BibTeX RDF
22	Johanna Völker, Denny Vrandecic, York Sure, Andreas Hotho	Learning Disjointness.	ESWC	2007	DBLP DOI BibTeX RDF
22	Samee Ullah Khan, Ishfaq Ahmad	A Semi-Distributed Axiomatic Game Theoretical Mechanism for Replicating Data Objects in Large Distributed Computing Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
22	Geoff Sutcliffe, Yury Puzis	SRASS - A Semantic Relevance Axiom Selection System.	CADE	2007	DBLP DOI BibTeX RDF
22	Arnon Avron, Anna Zamansky	Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.	ISMVL	2007	DBLP DOI BibTeX RDF
22	Thomas Ellman	Specification and synthesis of hybrid automata for physics-based animation.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF
22	Yan Lindsay Sun, Wei Yu 0003, Zhu Han 0001, K. J. Ray Liu	Information theoretic framework of trust modeling and evaluation for ad hoc networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
22	Xiao-Ping Yang	The Minimization of Axiom Sets Characterizing Generalized Fuzzy Rough Approximation Operators.	FSKD (1)	2005	DBLP DOI BibTeX RDF
22	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.	RTA	2005	DBLP DOI BibTeX RDF
22	Pinar Yolum, Munindar P. Singh	Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	methodologies, commitments, agent communication languages and protocols
22	Victor Pambuccian	The Simplest Axiom System for Plane Hyperbolic Geometry.	Stud Logica	2004	DBLP DOI BibTeX RDF	constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry
22	Sebastian Rudolph	Exploring Relational Structures Via FLE.	ICCS	2004	DBLP DOI BibTeX RDF
22	Aparna Gupta, Walter Murray	How to Spend and Invest Retirement Savings.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF
22	Johannes Henkel, Amer Diwan	Discovering Algebraic Specifications from Java Classes.	ECOOP	2003	DBLP DOI BibTeX RDF
22	Thomas Ellman	Specification and Synthesis of Hybrid Automata for Physics-Based Animation.	ASE	2003	DBLP DOI BibTeX RDF
22	Paul Benioff	The Representation of Numbers in Quantum Mechanics.	Algorithmica	2002	DBLP DOI BibTeX RDF
22	Stijn Heymans, Dirk Vermeir	Using Preference Order in Ontologies.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen	Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.	TABLEAUX	2002	DBLP DOI BibTeX RDF
22	Dongmo Zhang, Norman Y. Foo	Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.	JELIA	2002	DBLP DOI BibTeX RDF
22	Chuchang Liu, Maris A. Ozols	Consistency of Trust Theories.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
22	Emanuele Bandini, Roberto Segala	Axiomatizations for Probabilistic Bisimulation.	ICALP	2001	DBLP DOI BibTeX RDF
22	Samir Chopra, Dongmo Zhang	Postdiction Problems in Dynamic Logic.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF	temporal reasoning, commonsense reasoning
22	Samson Abramsky, Marina Lenisa	Axiomatizing Fully Complete Models for ML Polymorphic Types.	MFCS	2000	DBLP DOI BibTeX RDF
22	Roberto Bruni, Ugo Montanari, Vladimiro Sassone	Open Ended Systems, Dynamic Bisimulation and Tile Logic.	IFIP TCS	2000	DBLP DOI BibTeX RDF	SOS formats, dynamic bisimulation, tile logic, Bisimulation
22	Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen	Conceptual Graphs as Algebras - With an Application to Analogical Reasoning.	ICCS	1999	DBLP DOI BibTeX RDF
22	Marcelo Arenas, Leopoldo E. Bertossi	The Dynamics of Database Views.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
22	Michael Gelfond, Tran Cao Son	Reasoning with Prioritized Defaults.	LPKR	1997	DBLP DOI BibTeX RDF
22	Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas	Explaining Explanation Closure.	ISMIS	1996	DBLP DOI BibTeX RDF
22	Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Extending Horn Clause Theories by Reflection Principles.	JELIA	1994	DBLP DOI BibTeX RDF
22	Richard B. Scherl	Equality and Constrained Resolution.	JELIA	1994	DBLP DOI BibTeX RDF
22	Cosimo Laneve, Ugo Montanari	Axiomatizing Permutation Equivalence in the Lambda-Calculus.	ALP	1992	DBLP DOI BibTeX RDF
22	Brian T. Howard, John C. Mitchell	Operational and Axiomatic Semantics of PCF.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
22	Stephen G. Pimentel, John L. Cuadrado	The Event Calculus and Consistency Maintenance.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
22	Bernd J. Krämer	Specifying concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
22	Jack Minker	Search Strategy and Selection Function for an Inferential Relational System.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	answer and reason extraction, selection function, top-down search, virtual relations, relational databases, heuristics, logic, inference mechanism, search strategy, predicate calculus
22	Murali Agastya, Arkadii M. Slinko	Axioms for a Class of Algorithms of Sequential Decision Making.	ADT	2009	DBLP DOI BibTeX RDF	ex-post rationality, fictitious play, multiset, sequential decision making
22	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.	FroCoS	2009	DBLP DOI BibTeX RDF
22	Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer	Improving an RCC-Derived Geospatial Approximation by OWL Axioms.	ISWC	2008	DBLP DOI BibTeX RDF	Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking
22	Jules Desharnais, Georg Struth	Domain Axioms for a Family of Near-Semirings.	AMAST	2008	DBLP DOI BibTeX RDF
22	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
22	Johanna Völker, Sebastian Rudolph	Lexico-Logical Acquisition of OWL DL Axioms.	ICFCA	2008	DBLP DOI BibTeX RDF
22	Gonçalo Gutierres, Dirk Hofmann	Axioms for Sequential Convergence.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54D55, 54A20, 18C15, 54B30
22	Nick C. Fiala, Keith M. Agre	Searching for Shortest Single Axioms for Groups of Exponent 6.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	exponent, single axiom, group, automated theorem-proving
22	Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki	A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.	FATES	2005	DBLP DOI BibTeX RDF	proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
22	Alon Altman, Moshe Tennenholtz	Ranking systems: the PageRank axioms.	EC	2005	DBLP DOI BibTeX RDF	axiomatic theory, multi-agent systems, PageRank
22	Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun	Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine.	ISWC	2003	DBLP DOI BibTeX RDF
22	Jan Brase, Mark Painter, Wolfgang Nejdl	Completing LOM - How Additional Axioms Increase the Utility of Learning Object Metadata.	ICALT	2003	DBLP DOI BibTeX RDF
22	Didier Dubois, Hélène Fargier, Henri Prade, Patrice Perny	Qualitative decision theory: from savage's axioms to nonmonotonic reasoning.	J. ACM	2002	DBLP DOI BibTeX RDF	Comparative uncertainty, preference relations, qualitative decision theory, decision theory, nonmonotonic reasoning, possibility theory
22	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Equational Axioms for Probabilistic Bisimilarity.	AMAST	2002	DBLP DOI BibTeX RDF
22	Russell Impagliazzo, Nathan Segerlind	Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.	ICALP	2002	DBLP DOI BibTeX RDF
22	Joel David Hamkins	The Wholeness Axioms and V=HOD.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
22	Athanassios Tzouvaras	Freiling's axioms of symmetry in a general setting and some applications.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03C62, 03H10
22	Masahito Hasegawa, Yoshihiko Kakutani	Axioms for Recursion in Call-by-Value.	FoSSaCS	2001	DBLP DOI BibTeX RDF
22	Grégory Lafitte, Jacques Mazoyer	The Infinite Versions of LOGSPACE != P Are Consistent with the Axioms of Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
22	Alex K. Simpson	Elementary Axioms for Categories of Classes.	LICS	1999	DBLP DOI BibTeX RDF
22	Joost Engelfriet, Tjalling Gelsema	Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition.	Acta Informatica	1998	DBLP DOI BibTeX RDF
22	Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger	Axioms for Real-Time Logics.	CONCUR	1998	DBLP DOI BibTeX RDF
22	Peter Selinger	First-Order Axioms for Asynchrony.	CONCUR	1997	DBLP DOI BibTeX RDF
22	Klaus Drosten	Towards Executable Specifications Using Conditional Axioms.	STACS	1984	DBLP DOI BibTeX RDF
22	Andrzej Salwicki	Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.	MFCS	1980	DBLP DOI BibTeX RDF
22	Hans-Josef Jeanrond	A Unique Termination Theorem for a Theory with Generalised Commutative Axioms.	ICALP	1979	DBLP DOI BibTeX RDF
20	Daniel Kifer, Bing-Rong Lin	Towards an axiomatization of statistical privacy and utility.	PODS	2010	DBLP DOI BibTeX RDF	privacy, utility, axioms
20	Pedro Delicado, Marcelo Smrekar	Measuring non-linear dependence for two random variables distributed along a curve.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Independence tests, Rényi’s axioms, Similarity measures for pairs of variables, Principal curves, Linearity tests, Dependence measures
20	Hitoshi Ohsaki, Hiroyuki Seki	Languages Modulo Normalization.	FroCoS	2007	DBLP DOI BibTeX RDF	tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
20	Victor Pambuccian	Early Examples of Resource-Consciousness.	Stud Logica	2004	DBLP DOI BibTeX RDF	BCK logic, affine logic, Pappus and Desargues axioms, Pythagorean theorem, projective geometry
20	Anna Formica	Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	constraint satisfiability (consistency), recursive schemas, axioms of infinity, equality constraints, object-oriented databases
20	Brian Knight, Jixin Ma 0001	Time representation: A taxonomy of temporal models.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	time representation, temporal system, semantic analysis, axioms
20	Krishna Kant 0001, A. Ravichandran	Synthesizing Robust Data STructures - An Introduction.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	robust data structures, data elements, concurrent repair, disjoint portions, databases, data structures, fault tolerant computing, synthesis, trees (mathematics), first-order logic, B-trees, attributes, axioms, formal approach
20	Grazyna Mirkowska, Andrzej Salwicki	On Applications of Algorithmic Logic.	CAAP	1986	DBLP DOI BibTeX RDF	algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties
20	Peter Wegner	Programming Languages - The First 25 Years.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	verification, compilers, semantics, Abstraction, modularity, Fortran, programming languages, Lisp, Algol, syntax, assemblers, Cobol, structures programming, axioms
15	Ebrahim Bagheri, Faezeh Ensan	Evidential reasoning for the treatment of incoherent terminologies.	SAC	2010	DBLP DOI BibTeX RDF	debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning
15	Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak	A review of approaches for representing RCC8 in OWL.	SAC	2010	DBLP DOI BibTeX RDF	RCC8, spatial knowledge representation, OWL
15	Tobias Christ, Dömötör Pálvölgyi, Milos Stojakovic	Consistent digital line segments.	SCG	2010	DBLP DOI BibTeX RDF	digital line segment, digital geometry, discrete geometry
15	Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky	Declarative Network Verification.	PADL	2009	DBLP DOI BibTeX RDF	network protocol verification, theorem proving, domain-specific languages, Declarative networking
15	Sivaramakrishnan Narayanan, Ümit V. Çatalyürek, Tahsin M. Kurç, Joel H. Saltz	Parallel materialization of large ABoxes.	SAC	2009	DBLP DOI BibTeX RDF	ABox, ontologies, ontology, parallel, materialization, large datasets
15	Austin Parker, V. S. Subrahmanian, John Grant	Fast and Accurate Prediction of the Destination of Moving Objects.	SUM	2009	DBLP DOI BibTeX RDF
15	Aytekin Vargun	Consistency checking for automatic software generation.	ISCIS	2009	DBLP DOI BibTeX RDF
15	Alex Roederer, Yury Puzis, Geoff Sutcliffe	Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.	CADE	2009	DBLP DOI BibTeX RDF
15	Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura	On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving.	CADE	2009	DBLP DOI BibTeX RDF