Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Lijun Shan, Hong Zhu 0002	Semantics of Metamodels in UML.	TASE	2009	DBLP DOI BibTeX RDF
15	K. Rustan M. Leino, Ronald Middelkoop	Proving Consistency of Pure Methods and Model Fields.	FASE	2009	DBLP DOI BibTeX RDF
15	Jie Fang	Ockham Algebras with Balanced Double Pseudocomplementation.	Stud Logica	2008	DBLP DOI BibTeX RDF	double pseudocomplementation, Ockham algebra, Priestely duality, subdirectly irreducible
15	Matthijs J. Warrens	On multi-way metricity, minimality and diagonal planes.	Adv. Data Anal. Classif.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 51K05
15	Jinhee Chun, Matias Korman, Martin Nöllenburg, Takeshi Tokuyama	Consistent digital rays.	SCG	2008	DBLP DOI BibTeX RDF	star-shaped regions, digital geometry, discrete geometry, tree embedding
15	Marie-Claude Gaudel, Pascale Le Gall	Testing Data Types Implementations from Algebraic Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
15	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
15	Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil	MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.	IJCAR	2008	DBLP DOI BibTeX RDF
15	Jaume Baixeries	A Formal Context for Symmetric Dependencies.	ICFCA	2008	DBLP DOI BibTeX RDF
15	Sebastian Rudolph	Acquiring Generalized Domain-Range Restrictions.	ICFCA	2008	DBLP DOI BibTeX RDF
15	Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001	A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.	ASWC	2008	DBLP DOI BibTeX RDF
15	Sandro Morasca	Refining the axiomatic definition of internal software attributes.	ESEM	2008	DBLP DOI BibTeX RDF	internal software attributes, complexity, coupling, cohesion, size
15	Ignazio Palmisano, Valentina A. M. Tamma, Luigi Iannone, Terry R. Payne, Paul Doran	Dynamic Change Evaluation for Ontology Evolution in the Semantic Web.	Web Intelligence	2008	DBLP DOI BibTeX RDF
15	Anne Schlicht, Heiner Stuckenschmidt	Towards Distributed Ontology Reasoning for the Web.	Web Intelligence	2008	DBLP DOI BibTeX RDF
15	Viorica R. Chifu, Ioan Salomie, Simona Manole	Fluent Calculus Based Web Service Composition.	RR	2008	DBLP DOI BibTeX RDF
15	Jan A. Bergstra, John V. Tucker	The rational numbers as an abstract data type.	J. ACM	2007	DBLP DOI BibTeX RDF	division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra
15	Jeff Z. Pan, Ian Horrocks 0001	RDFS(FA): Connecting RDF(S) and OWL DL.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	metamodeling architecture, ontology, knowledge representation, reuse, Semantic interoperability
15	Tomas Eriksson, John B. Anderson, Norbert Goertz	Linear Congruential Trellis Source Codes: Design and Analysis.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
15	David G. Mitchell, Faraz Hach, Raheleh Mohebali	Faster Phylogenetic Inference with MXG.	LPAR	2007	DBLP DOI BibTeX RDF	Model Expansion, Declarative Programming, Phylogeny
15	Ranjit Jhala, Kenneth L. McMillan	Array Abstractions from Proofs.	CAV	2007	DBLP DOI BibTeX RDF
15	Mehmet Mutlu Yenisey	Axiomatic Design Approach for E-Commercial Web Sites.	HCI (1)	2007	DBLP DOI BibTeX RDF	Axiomatic Design, Usability, Web page
15	Marina Sapir, Mikhail Teverovskiy	Validity of Probabilistic Rules.	CIDM	2007	DBLP DOI BibTeX RDF
15	Il Hong Suh, Gi Hyun Lim, Wonil Hwang, Hyowon Suh, Jung-Hwa Choi, Young-Tack Park	Ontology-based multi-layered robot knowledge framework (OMRKF) for robot intelligence.	IROS	2007	DBLP DOI BibTeX RDF
15	Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen	Axiomatizing Extended Temporal Logic Fragments Via Instantiation.	ICTAC	2007	DBLP DOI BibTeX RDF
15	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
15	Xi Deng, Volker Haarslev, Nematollaah Shiri	Measuring Inconsistencies in Ontologies.	ESWC	2007	DBLP DOI BibTeX RDF
15	Lisa Allali	Algorithmic Equality in Heyting Arithmetic Modulo.	TYPES	2007	DBLP DOI BibTeX RDF
15	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
15	Viorica Sofronie-Stokkermans, Carsten Ihlemann	Automated Reasoning in Some Local Extensions of Ordered Structures.	ISMVL	2007	DBLP DOI BibTeX RDF
15	Lu Lu, Nandan Parameswaran, Pradeep Kumar Ray	An Interactive Diagnosis and Repair of OWL Ontology.	ICSC	2007	DBLP DOI BibTeX RDF
15	Michael Mendler, Gerald Lüttgen	Is Observational Congruence Axiomatisable in Equational Horn Logic?	CONCUR	2007	DBLP DOI BibTeX RDF
15	Vladimir Pestov	Intrinsic dimension of a dataset: what properties does one expect?	IJCNN	2007	DBLP DOI BibTeX RDF
15	Andreas Glausch, Wolfgang Reisig	A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.	CALCO	2007	DBLP DOI BibTeX RDF
15	Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein, Gal A. Kaminka	An adversarial environment model for bounded rational agents in zero-sum interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	agents, multiagent systems, modal logic
15	Luis Garmendia, Ronald R. Yager, Enric Trillas, Adela Salvador	Measures of specificity of fuzzy sets under T-indistinguishabilities.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
15	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
15	Ernie Cohen	Weak Kleene Algebra and Computation Trees.	RelMiCS	2006	DBLP DOI BibTeX RDF
15	Steven Obua	Partizan Games in Isabelle/HOLZF.	ICTAC	2006	DBLP DOI BibTeX RDF
15	Dejing Dou, Drew V. McDermott	Towards Theory Translation.	DALT	2006	DBLP DOI BibTeX RDF
15	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
15	Florent Kirchner	A Finite First-Order Theory of Classes.	TYPES	2006	DBLP DOI BibTeX RDF
15	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase	Cut-Simulation in Impredicative Logics.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Robert L. Constable, Wojciech Moczydlowski	Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Daniel Kroening, Natasha Sharygina	Approximating Predicate Images for Bit-Vector Logic.	TACAS	2006	DBLP DOI BibTeX RDF
15	Wonil Hwang, Jinyoung Park, Hyowon Suh, Hyung Wook Kim, Il Hong Suh	Ontology-Based Framework of Robot Context Modeling and Reasoning for Object Recognition.	FSKD	2006	DBLP DOI BibTeX RDF
15	Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
15	János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Bernhard Thalheim	On the Number of Independent Functional Dependencies.	FoIKS	2006	DBLP DOI BibTeX RDF
15	Steve Roach, Jeffrey Van Baalen	Automated Procedure Construction for Deductive Synthesis.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	synthesis, procedures, deductive, decision, partial deduction
15	Gheorghe Craciun, Ming Jiang 0005, David S. Thompson, Raghu Machiraju	Spatial Domain Wavelet Design for Feature Preservation in Computational Data Sets.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	wavelet design, TVD schemes, Filter bank, lifting scheme, feature preservation, flow fields
15	Raphael Volz, Steffen Staab, Boris Motik	Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
15	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
15	Douglas B. Lenat	Scaling Up: Computers vs. Common Sense.	LPAR	2005	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	An SLD-Resolution Calculus for Basic Serial Multimodal Logics.	ICTAC	2005	DBLP DOI BibTeX RDF
15	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.	TLCA	2005	DBLP DOI BibTeX RDF
15	Patryk Burek, Rafal Grabos	Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach.	ESWC	2005	DBLP DOI BibTeX RDF	Reasoning in the Semantic Web, Semantic Web Inference Schemes, Ontology, Knowledge Representation
15	Johan van Benthem, Jan van Eijck, Barteld P. Kooi	Common knowledge in update logics.	TARK	2005	DBLP BibTeX RDF
15	Alban Gabillon	A Formal Access Control Model for XML Databases.	Secure Data Management	2005	DBLP DOI BibTeX RDF
15	Ken Kaneiwa, Riichiro Mizoguchi	An Order-Sorted Quantified Modal Logic for Meta-ontology.	TABLEAUX	2005	DBLP DOI BibTeX RDF
15	Debasis Mishra, Bharath Rangarajan	Cost sharing in a job scheduling problem using the Shapley value.	EC	2005	DBLP DOI BibTeX RDF	queueing problems, job scheduling, Shapley value, cost sharing
15	Charles S. Kenney, Marco Zuliani, B. S. Manjunath	An Axiomatic Approach to Corner Detection.	CVPR (1)	2005	DBLP DOI BibTeX RDF
15	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
15	Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Intruder Deduction for AC-Like Equational Theories with Homomorphisms.	RTA	2005	DBLP DOI BibTeX RDF
15	Aaron Stump, Li-Yang Tan	The Algebra of Equality Proofs.	RTA	2005	DBLP DOI BibTeX RDF
15	Luc Florack	Deep Structure from a Geometric Point of View.	DSSCV	2005	DBLP DOI BibTeX RDF	Scale space geometry, homogeneous scale space, foveal scale space, deep structure
15	Fausto Giunchiglia	Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.	FroCoS	2005	DBLP DOI BibTeX RDF
15	Volker Weispfenning	Solving Linear Differential Problems with Parameters.	CASC	2005	DBLP DOI BibTeX RDF
15	Paula Gouveia, Jaime Ramos	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	specification, multi-agents, certification, knowledge, abduction, situation calculus
15	Xavier Caicedo	Implicit connectives of algebraizable logics.	Stud Logica	2004	DBLP DOI BibTeX RDF	implicit and explicit definitions, connectives, quasivarieties, Algebraizable logics
15	Stefano Baratella, Andrea Masini	An approach to infinitary temporal proof theory.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic
15	Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.	CAV	2004	DBLP DOI BibTeX RDF
15	Jérôme Euzenat	An API for Ontology Alignment.	ISWC	2004	DBLP DOI BibTeX RDF
15	Evelio J. González, Alberto F. Hamilton, Lorenzo Moreno Ruiz, Roberto L. Marichal, Vanesa Muñoz	MASCONTROL: A MAS for System Identification and Process Control.	PRICAI	2004	DBLP DOI BibTeX RDF
15	Jonathan Barzilai	Notes on utility theory.	SMC (1)	2004	DBLP DOI BibTeX RDF
15	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
15	Clare Dixon, Cláudia Nalon, Michael Fisher 0001	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.	TIME	2003	DBLP DOI BibTeX RDF
15	Guangyuan Guo, Ryszard Janicki	Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.	AMAST	2002	DBLP DOI BibTeX RDF
15	Chris Mellish	DCGs: Parsing as Deduction?	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
15	Hongseok Yang, Peter W. O'Hearn	A Semantic Basis for Local Reasoning.	FoSSaCS	2002	DBLP DOI BibTeX RDF
15	S. K. Michael Wong, Dan Wu 0006, Tao Lin 0012	A Structural Characterization of DAG-Isomorphic Dependency Models.	AI	2002	DBLP DOI BibTeX RDF
15	Stijn Heymans, Dirk Vermeir	A Defeasible Ontology Language.	OTM	2002	DBLP DOI BibTeX RDF
15	Maria Grazia Buscemi, Ugo Montanari	A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.	CONCUR	2002	DBLP DOI BibTeX RDF
15	Steve Roach, Jeffrey Van Baalen	Experience Report on Automated Procedure Construction for Deductive Synthesis.	ASE	2002	DBLP DOI BibTeX RDF
15	Sándor Jenei	Interpolation and extrapolation of fuzzy quantities revisited-an axiomatic approach.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Fuzzy quantity, (linear) Interpolation/extrapolation, Sparse rule-base, Expert system, Fuzzy control, Approximate reasoning
15	Ulrich Kohlenbach	A note on Spector's quantifier-free rule of extensionality.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F07, 03F10, 03F50, 03F35
15	Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Ekawit Nantajeewarawat	XML Declarative Description: A Language for the Semantic Web.	IEEE Intell. Syst.	2001	DBLP DOI BibTeX RDF	XML Declarative Description, Semantic Web, RDF, XML document, RDF Schema
15	Daniel Leivant	The Functions Provable by First Order Abstraction.	LPAR	2001	DBLP DOI BibTeX RDF
15	Matthias Baaz, Christian G. Fermüller	A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
15	Furio Honsell, Marino Miculan, Ivan Scagnetto	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.	ICALP	2001	DBLP DOI BibTeX RDF	induction, logical frameworks, higher-order abstract syntax
15	Uwe Waldmann	Superposition and Chaining for Totally Ordered Divisible Abelian Groups.	IJCAR	2001	DBLP DOI BibTeX RDF
15	Ken Barker 0002, Bruce W. Porter, Peter Clark	A library of generic concepts for composing knowledge bases.	K-CAP	2001	DBLP DOI BibTeX RDF	ontologies, knowledge engineering, knowledge reuse
15	Peter Clark, John A. Thompson, Ken Barker 0002, Bruce W. Porter, Vinay K. Chaudhri, Andres C. Rodriguez, Jérôme Thoméré, Sunil Mishra, Yolanda Gil, Patrick J. Hayes, Thomas Reichherzer	Knowledge entry as the graphical assembly of components.	K-CAP	2001	DBLP DOI BibTeX RDF	graphical knowledge entry, components, knowledge-based systems, composition, knowledge acquisition
15	Sándor Jenei	Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited.	SOFSEM	2001	DBLP DOI BibTeX RDF	Sparse rule base, Interpolation/extrapolation of fuzzy rules, Knowledge-based systems, Expert system, Fuzzy sets, Fuzzy control, Inference, Approximate reasoning
15	Vassilios Chatzis, Ioannis Pitas	A generalized fuzzy mathematical morphology and its application in robust 2-D and 3-D object representation.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
15	Wan J. Fokkink, S. P. Luttik	An omega-Complete Equational Specification of Interleaving.	ICALP	2000	DBLP DOI BibTeX RDF
15	Kristofer Johannisson	Formalizing the Halting Problem in a Constructive Type Theory.	TYPES	2000	DBLP DOI BibTeX RDF
15	Michael J. Wooldridge, Alessio Lomuscio	Multi-agent VSK Logic.	JELIA	2000	DBLP DOI BibTeX RDF
15	Marco Grandis, John MacDonald	Homotopy Structures for Algebras over a Monad.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy
15	Ronald R. Yager, Vladik Kreinovich	On how to merge sorted lists coming from different web search tools.	Soft Comput.	1999	DBLP DOI BibTeX RDF
15	Nihan Kesim Cicekli	A Temporal Reasoning Approach to Model Workflow Activities.	NGITS	1999	DBLP DOI BibTeX RDF
15	Brian Henderson-Sellers, Franck Barbier	What is This Thing Called Aggregation?	TOOLS (29)	1999	DBLP DOI BibTeX RDF