|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1033 occurrences of 686 keywords
|
|
|
Results
Found 4918 publication records. Showing 4917 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 4917 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|