Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Pavel Naumov, Brittany Nicholls	Game Semantics for the Geiger-Paz-Pearl Axioms of Independence.	LORI	2011	DBLP DOI BibTeX RDF
15	Enrico Francesconi	Axioms on a Semantic Model for Legislation for Accessing and Reasoning over Normative Provisions.	AICOL	2011	DBLP DOI BibTeX RDF
15	Asem Kasem, Fadoua Ghourabi, Tetsuo Ida	Origami axioms and circle extension.	SAC	2011	DBLP DOI BibTeX RDF
15	Seok Jong Lee, Sang Min Yun	Fuzzy delta separation axioms.	FUZZ-IEEE	2011	DBLP DOI BibTeX RDF
15	Franz Baader, Rafael Peñaloza	Are fuzzy description logics with general concept inclusion axioms decidable?	FUZZ-IEEE	2011	DBLP DOI BibTeX RDF
15	Francesca A. Lisi, Umberto Straccia	An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics.	CILC	2011	DBLP BibTeX RDF
15	Peter Sunehag, Marcus Hutter	Axioms for Rational Reinforcement Learning.	ALT	2011	DBLP DOI BibTeX RDF
15	Daniel Fleischhacker, Johanna Völker	Inductive Learning of Disjointness Axioms.	OTM Conferences (2)	2011	DBLP DOI BibTeX RDF
15	Chan Le Duc, Myriam Lamolle, Olivier Curé	A Tableaux-Based Algorithm for SHIQ\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms.	ESWC (1)	2011	DBLP DOI BibTeX RDF
15	Vineet Padmanabhan, Guido Governatori, Abdul Sattar 0001	Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.	MIWAI	2011	DBLP DOI BibTeX RDF
15	Rony Patel, Jennifer Jacobs 0003, Rochel Gelman	Memorizing Mathematics: The Failure to Apply Mathematical Axioms Within Restrictive Models.	CogSci	2011	DBLP BibTeX RDF
15	Francesca A. Lisi, Umberto Straccia	Towards Learning Fuzzy DL Inclusion Axioms.	WILF	2011	DBLP DOI BibTeX RDF
15	Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney	Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques.	OWLED	2011	DBLP BibTeX RDF
15	Tian Lan, Mung Chiang	Measuring fairness: Axioms and applications.	Allerton	2011	DBLP DOI BibTeX RDF
15	Felix Schernhammer, José Meseguer 0001	Incremental checking of well-founded recursive specifications modulo axioms.	PPDP	2011	DBLP DOI BibTeX RDF
15	Sara Miner More, Pavel Naumov, Benjamin Sapp	Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.	CSL	2011	DBLP DOI BibTeX RDF
15	Matteo Casu, Armando Tacchella	From Natural Language Definitions to Knowledge Bases Axioms.	AI*IA	2011	DBLP DOI BibTeX RDF
15	Jakub Kotowski, François Bry, Simon Brodt	Reasoning as Axioms Change - Incremental View Maintenance Reconsidered.	RR	2011	DBLP DOI BibTeX RDF
15	Henning Köhler, Sebastian Link	Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
15	Victoria Gitman, Joel David Hamkins	A Natural Model of the Multiverse Axioms.	Notre Dame J. Formal Log.	2010	DBLP DOI BibTeX RDF
15	Sunil Kothari, James L. Caldwell	A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints	UNIF	2010	DBLP DOI BibTeX RDF
15	Rémy-Robert Joseph	Making choices with a binary relation: Relative choice axioms and transitive closures.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
15	Thomas Schwartz	The friend of my enemy is my enemy, the enemy of my enemy is my friend: Axioms for structural balance and bi-polarity.	Math. Soc. Sci.	2010	DBLP DOI BibTeX RDF
15	Leandro Nascimento, Gil Riella	On the uses of the monotonicity and independence axioms in models of ambiguity aversion.	Math. Soc. Sci.	2010	DBLP DOI BibTeX RDF
15	Yun Shi, Bart Van Gasse, Da Ruan 0001, Etienne E. Kerre	On dependencies and independencies of fuzzy implication axioms.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
15	Yao-Long Li, Guo-Jun Zhang, Ling-Xia Lu	Axioms for bases of closed regular fuzzy matroids.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
15	Athanassios Tzouvaras	Localizing the axioms.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
15	Giacomo Mauro D'Ariano, Alessandro Tosini	Testing axioms for quantum theory on probabilistic toy-theories.	Quantum Inf. Process.	2010	DBLP DOI BibTeX RDF
15	Thomas Scharrenbach, Claudia d'Amato, Nicola Fanizzi, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein	Default Logics for Plausible Reasoning with Controversial Axioms.	URSW	2010	DBLP BibTeX RDF
15	Luis Del Vasto-Terrientes, Antonio Moreno, David Sánchez 0001	Discovery of Relation Axioms from the Web.	KSEM	2010	DBLP DOI BibTeX RDF
15	Diana Kalibatiene, Olegas Vasilecas	Assessment of Ontology Development and Management Tools According to the Axioms.	ISD	2010	DBLP DOI BibTeX RDF
15	Yevgeny Kazakov	An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Markus Aderhold	Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Alexandre Kouznetsov, Bradley Shoebottom, René Witte, Christopher J. O. Baker	Leverage of OWL-DL axioms in a Contact Centre for Technical Product Support.	OWLED	2010	DBLP BibTeX RDF
15	Ki Yung Ahn, Ewen Denney	Testing First-Order Logic Axioms in Program Verification.	TAP@TOOLS	2010	DBLP DOI BibTeX RDF
15	Hans van Ditmarsch, Tim French 0002, Sophie Pinchinat	Future Event Logic - Axioms and Complexity.	Advances in Modal Logic	2010	DBLP BibTeX RDF
15	Sandra Williams, Richard Power	Grouping Axioms for More Coherent Ontology Descriptions.	INLG	2010	DBLP BibTeX RDF
15	Richard Power, Allan Third	Expressing OWL axioms by English sentences: dubious in theory, feasible in practice.	COLING (Posters)	2010	DBLP BibTeX RDF
15	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	Axioms for Obligation and Robustness with Temporal Logic.	DEON	2010	DBLP DOI BibTeX RDF
15	Chan Le Duc, Myriam Lamolle	Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.	Description Logics	2010	DBLP BibTeX RDF
15	Eleftherios Matsikoudis	Axioms for Asynchronous Processes.		2010	RDF
15	Solmaz Kolahi	Armstrong Axioms.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
15	Dmitry Sustretov	Hybrid Logics of Separation Axioms.	J. Log. Lang. Inf.	2009	DBLP DOI BibTeX RDF
15	Fathei M. Zeyada, M. Azab Abd-Allah, A. K. Mousa	L-pre-separation axioms in (2, L)-topologies based on complete residuated lattice-valued logic.	Int. J. Fuzzy Log. Intell. Syst.	2009	DBLP DOI BibTeX RDF
15	Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy	B2-crystals: Axioms, structure, models.	J. Comb. Theory, Ser. A	2009	DBLP DOI BibTeX RDF
15	Franz Baader, Martin Knechtel, Rafael Peñaloza	A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.	ISWC	2009	DBLP DOI BibTeX RDF
15	Dusko Pavlovic, Catherine Meadows 0001	Deriving Ephemeral Authentication Using Channel Axioms.	Security Protocols Workshop	2009	DBLP DOI BibTeX RDF
15	Catherine Meadows 0001	Deriving Ephemeral Authentication Using Channel Axioms.	Security Protocols Workshop	2009	DBLP DOI BibTeX RDF
15	Makoto Tsukada, Hiroki Suyari	Tsallis differential entropy and divergences derived from the generalized Shannon-Khinchin axioms.	ISIT	2009	DBLP DOI BibTeX RDF
15	Diana Kalibatiene, Olegas Vasilecas	Evaluating the method of the transforming ontology axioms to application domain rules.	CompSysTech	2009	DBLP DOI BibTeX RDF
15	Tomoko Ninomiya, Masao Mukaidono	Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients.	ISMVL	2009	DBLP DOI BibTeX RDF
15	Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	Deriving Syntax and Axioms for Quantitative Regular Behaviours.	CONCUR	2009	DBLP DOI BibTeX RDF
15	Yevgeny Kazakov	An Extension of Regularity Conditions for Complex Role Inclusion Axioms.	Description Logics	2009	DBLP BibTeX RDF
15	Yaolong Li, Guojun Zhang	Rank Axioms for Poset Greedoids.	CIS (2)	2009	DBLP DOI BibTeX RDF
15	Guojun Zhang, Yaolong Li	Global Rank Axioms of Greedoids on Partially Ordered Set.	CIS (2)	2009	DBLP DOI BibTeX RDF
15	Christophe Jouis, Bassel Habib, Jie Liu	Exceptions in Ontologies: Deducing Properties from Topological Axioms.	FLAIRS	2009	DBLP BibTeX RDF
15	Ulrich Höhle, Tomasz Kubiak	Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B23, 54A40, 54D10
15	Itay Neeman	Hierarchies of forcing axioms II.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
15	Itay Neeman, Ernest Schimmerling	Hierarchies of forcing axioms I.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
15	Robert W. Clowes, Anil K. Seth	Axioms, properties and criteria: Roles for synthesis in the science of consciousness.	Artif. Intell. Medicine	2008	DBLP DOI BibTeX RDF
15	Matteo Viale	Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.	Bull. Symb. Log.	2008	DBLP DOI BibTeX RDF
15	Marshall Spight, Vadim Tropashko	Relational Lattice Axioms	CoRR	2008	DBLP BibTeX RDF
15	Michael H. Freedman	Complexity Classes as Mathematical Axioms	CoRR	2008	DBLP BibTeX RDF
15	Hong-Yan Li, Fu-Gui Shi	Some separation axioms in I-fuzzy topological spaces.	Fuzzy Sets Syst.	2008	DBLP DOI BibTeX RDF
15	P. V. Flores, Giles Richardson	Lattice-valued convergence: Diagonal axioms.	Fuzzy Sets Syst.	2008	DBLP DOI BibTeX RDF
15	Sheng-Gang Li, Juan Lu, Xiao-Jing Zhong	Survey of local connectedness axioms and their properties in L-topological spaces.	Fuzzy Sets Syst.	2008	DBLP DOI BibTeX RDF
15	Nick C. Fiala	Shortest single axioms for commutative moufang loops of exponent 3.	Discret. Math.	2008	DBLP DOI BibTeX RDF
15	Solomon Feferman	Axioms for Determinateness and Truth.	Rev. Symb. Log.	2008	DBLP DOI BibTeX RDF
15	P. Dhavachelvan, N. Saravanan 0003, K. Satheskumar	Validation of Complexity Metrics of Agent-Based Systems Using Weyuker's Axioms.	ICIT	2008	DBLP DOI BibTeX RDF
15	Diana Kalibatiene, Olegas Vasilecas	Formal transformation of ontology axioms to application domain rules.	CompSysTech	2008	DBLP DOI BibTeX RDF
15	Yi Zhou 0013, Yan Zhang 0003	Rule Calculus: Semantics, Axioms and Applications.	JELIA	2008	DBLP DOI BibTeX RDF
15	Shai Ben-David, Margareta Ackerman	Measures of Clustering Quality: A Working Set of Axioms for Clustering.	NIPS	2008	DBLP BibTeX RDF
15	Zvonimir Rakamaric, Alan J. Hu	Automatic Inference of Frame Axioms Using Static Analysis.	ASE	2008	DBLP DOI BibTeX RDF
15	Franz Baader, Silvio Ghilardi, Carsten Lutz	LTL over Description Logic Axioms.	KR	2008	DBLP BibTeX RDF
15	Haythem O. Ismail	On the Syntax and Semantics of Effect Axioms.	FOIS	2008	DBLP DOI BibTeX RDF
15	Rahmad Mahendra, Septina Dian Larasati, Ruli Manurung	Extending an Indonesian Semantic Analysis-based Question Answering System with Linguistic and World Knowledge Axioms.	PACLIC	2008	DBLP BibTeX RDF
15	Francis Gasse, Ulrike Sattler, Volker Haarslev	Rewriting Rules into SROIQ Axioms.	Description Logics	2008	DBLP BibTeX RDF
15	Franz Baader, Silvio Ghilardi, Carsten Lutz	LTL over Description Logic Axioms.	Description Logics	2008	DBLP BibTeX RDF
15	Brandon Bennett, Ivo Düntsch	Axioms, Algebras and Topology.	Handbook of Spatial Logics	2007	DBLP DOI BibTeX RDF
15	Elango Roja, Mallasamudram Kuppusamy Uma, Ganesan Balasubramanian	Gδ-separation axioms in ordered fuzzy topological spaces.	Kybernetika	2007	DBLP BibTeX RDF
15	Bernhard König	Forcing indestructibility of set-theoretic axioms.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
15	I. Burhan Türksen	Meta-linguistic axioms as a foundation for computing with words.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
15	Riccardo Camerlo	Finiteness Axioms on Fragments of Intuitionistic Set Theory.	Notre Dame J. Formal Log.	2007	DBLP DOI BibTeX RDF
15	Barteld P. Kooi	Expressivity and completeness for public update logics via reduction axioms.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
15	Sheng-Gang Li, Xiu Xin, Yao-Long Li	Closure axioms for a class of fuzzy matroids and co-towers of matroids.	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
15	C. Desimpelaere, Thierry Marchant	An empirical test of some measurement-theoretic axioms for fuzzy sets.	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
15	Fu-Gui Shi, Hong-Yan Li	A note on "On separation axioms in I-fuzzy topological spaces".	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
15	Davide Ciucci	On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations.	Fundam. Informaticae	2006	DBLP BibTeX RDF
15	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
15	Lin Yan 0002, Congpin Zhang	Semantic Analyses of Rough Truth for Axioms in Modal Logic.	J. Comput. Res. Dev.	2006	DBLP BibTeX RDF
15	Lawrence M. Brown, Riza Ertürk, Senol Dost	Ditopological texture spaces and fuzzy topology - III: Separation axioms.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
15	Li Qinghua, Jinming Fang	Countability axioms in I-fuzzy topological spaces.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
15	Fu-Gui Shi	A new approach to L-T2, L-Urysohn, and L-completely Hausdorff axioms.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
15	Yueli Yue, Jinming Fang	On separation axioms in I-fuzzy topological spaces.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
15	Torben Braüner	Axioms for classical, intuitionistic, and paraconsistent hybrid logic.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
15	Kazutoshi Ando	Extreme point axioms for closure spaces.	Discret. Math.	2006	DBLP DOI BibTeX RDF
15	Silke Berit Lang	Merging Knowledge from Different Disciplines in Search of Potential Design Axioms.	IV	2006	DBLP DOI BibTeX RDF
15	Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau	Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.	Description Logics	2006	DBLP BibTeX RDF
15	Wilfried Sieg, Dirk Schlimm	Dedekind's Analysis of Number: Systems and Axioms.	Synth.	2005	DBLP DOI BibTeX RDF
15	Andrés Eduardo Caicedo	Projective well-orderings and bounded forcing axioms.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF