|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(3), pp. 176, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(3), pp. 173, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 8(4), pp. 107, 2019. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 8(2), pp. 59, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Igor Líska, Beloslav Riecan, Anna Tirpáková |
An Alternative to Real Number Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 7(3), pp. 59, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 6(3), pp. 17, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Adel Bouhoula |
Simultaneous checking of completeness and ground confluence for algebraic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 20:1-20:33, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 368-383, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OWL, Description Logics, Decidability, Tableaux |
22 | Peter Höfner, Bernhard Möller |
An extension for feature algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 75-80, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algebraic characterisation of FOSD, feature algebra, feature oriented software development |
22 | Nick Bezhanishvili, Mai Gehrke |
Free Heyting Algebras: Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 251-266, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(2), pp. 163-186, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(1), pp. 109-129, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 54-68, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Zhou Shengming, Liao Yuanxiu |
Sensing Action and Knowledge Reasoning Independent of Designer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 281-286, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt |
Learning Disjointness for Debugging Mappings between Lightweight Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering: Practice and Patterns, 16th International Conference, EKAW 2008, Acitrezza, Italy, September 29 - October 2, 2008. Proceedings, pp. 93-108, 2008, Springer, 978-3-540-87695-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 486-490, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Martín Abadi |
Variations in Access Control Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 96-109, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda |
A Modular Equational Generalization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 24-39, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Zhenhua Duan, Nan Zhang 0001 |
A Complete Axiomatization of Propositional Projection Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 271-278, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(8), pp. 526-543, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 103-114, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Johanna Völker, Denny Vrandecic, York Sure, Andreas Hotho |
Learning Disjointness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 175-189, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-10, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Geoff Sutcliffe, Yury Puzis |
SRASS - A Semantic Relevance Axiom Selection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 295-310, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Arnon Avron, Anna Zamansky |
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway, pp. 14, 2007, IEEE Computer Society, 978-0-7695-2831-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Ellman |
Specification and synthesis of hybrid automata for physics-based animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 13(3), pp. 395-418, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(2), pp. 305-317, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Xiao-Ping Yang |
The Minimization of Axiom Sets Characterizing Generalized Fuzzy Rough Approximation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 1303-1308, 2005, Springer, 3-540-28312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Amy P. Felty |
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 394-406, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(1-3), pp. 227-253, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
methodologies, commitments, agent communication languages and protocols |
22 | Victor Pambuccian |
The Simplest Axiom System for Plane Hyperbolic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(3), pp. 385-411, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry |
22 | Sebastian Rudolph |
Exploring Relational Structures Via FLE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings, pp. 196-212, 2004, Springer, 3-540-22392-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Aparna Gupta, Walter Murray |
How to Spend and Invest Retirement Savings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 124(1-4), pp. 205-224, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Johannes Henkel, Amer Diwan |
Discovering Algebraic Specifications from Java Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings, pp. 431-456, 2003, Springer, 3-540-40531-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Ellman |
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 80-93, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Paul Benioff |
The Representation of Numbers in Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 34(4), pp. 529-559, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Stijn Heymans, Dirk Vermeir |
Using Preference Order in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France, pp. 85-92, 2002, IEEE Computer Society, 0-7695-1668-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Linh Anh Nguyen |
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings, pp. 206-220, 2002, Springer, 3-540-43929-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Dongmo Zhang, Norman Y. Foo |
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 357-368, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Chuchang Liu, Maris A. Ozols |
Consistency of Trust Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 717, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Emanuele Bandini, Roberto Segala |
Axiomatizations for Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 370-381, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Samir Chopra, Dongmo Zhang |
Postdiction Problems in Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, pp. 119-129, 2001, Springer, 3-540-42960-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
temporal reasoning, commonsense reasoning |
22 | Samson Abramsky, Marina Lenisa |
Axiomatizing Fully Complete Models for ML Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings, pp. 141-151, 2000, Springer, 3-540-67901-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Roberto Bruni, Ugo Montanari, Vladimiro Sassone |
Open Ended Systems, Dynamic Bisimulation and Tile Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 440-456, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, ICCS '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings, pp. 456-469, 1999, Springer, 3-540-66223-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Marcelo Arenas, Leopoldo E. Bertossi |
The Dynamics of Database Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transactions and Change in Logic Databases ![In: Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers, pp. 197-226, 1998, Springer, 3-540-65305-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Michael Gelfond, Tran Cao Son |
Reasoning with Prioritized Defaults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPKR ![In: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, pp. 164-223, 1997, Springer, 3-540-64958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Explaining Explanation Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 521-530, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Extending Horn Clause Theories by Reflection Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 400-413, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Richard B. Scherl |
Equality and Constrained Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 167-181, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Cosimo Laneve, Ugo Montanari |
Axiomatizing Permutation Equivalence in the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 350-363, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Brian T. Howard, John C. Mitchell |
Operational and Axiomatic Semantics of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 298-306, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Stephen G. Pimentel, John L. Cuadrado |
The Event Calculus and Consistency Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 1162-1166, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Bernd J. Krämer |
Specifying concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 162-164, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Jack Minker |
Search Strategy and Selection Function for an Inferential Relational System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 3(1), pp. 1-31, 1978. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings, pp. 353-364, 2009, Springer, 978-3-642-04427-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 133-148, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer |
Improving an RCC-Derived Geospatial Approximation by OWL Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 293-306, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 330-345, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
From Axioms to Analytic Rules in Nonclassical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 229-240, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 62-77, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Gonçalo Gutierres, Dirk Hofmann |
Axioms for Sequential Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(5-6), pp. 599-614, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(3), pp. 241-257, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 151-155, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, pp. 203-217, 2005, Springer, 3-540-34454-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005, pp. 1-8, 2005, ACM, 1-59593-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 180-194, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jan Brase, Mark Painter, Wolfgang Nejdl |
Completing LOM - How Additional Axioms Increase the Utility of Learning Object Metadata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 2003 IEEE International Conference on Advanced Learning Technologies, ICALT 2003, Athens, Greece, July 9-11, 2003, pp. 493, 2003, IEEE Computer Society, 0-7695-1967-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 49(4), pp. 455-495, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 239-253, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Russell Impagliazzo, Nathan Segerlind |
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 208-219, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Joel David Hamkins |
The Wholeness Axioms and V=HOD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(1), pp. 1-8, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Athanassios Tzouvaras |
Freiling's axioms of symmetry in a general setting and some applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(2), pp. 131-145, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03C62, 03H10 |
22 | Masahito Hasegawa, Yoshihiko Kakutani |
Axioms for Recursion in Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 246-260, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings, pp. 508-517, 2000, Springer, 3-540-67901-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Alex K. Simpson |
Elementary Axioms for Categories of Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 77-85, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Joost Engelfriet, Tjalling Gelsema |
Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(12), pp. 1075-1096, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger |
Axioms for Real-Time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 219-236, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Peter Selinger |
First-Order Axioms for Asynchrony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 376-390, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Klaus Drosten |
Towards Executable Specifications Using Conditional Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings, pp. 85-96, 1984, Springer, 3-540-12920-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
22 | Andrzej Salwicki |
Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, pp. 552-561, 1980, Springer, 3-540-10027-X. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
22 | Hans-Josef Jeanrond |
A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 316-330, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kifer, Bing-Rong Lin |
Towards an axiomatization of statistical privacy and utility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 147-158, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(3), pp. 255-269, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, pp. 221-236, 2007, Springer, 978-3-540-74620-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 81-86, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(1), pp. 123-139, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 7(6), pp. 401-419, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
time representation, temporal system, semantic analysis, axioms |
20 | Krishna Kant 0001, A. Ravichandran |
Synthesizing Robust Data STructures - An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(2), pp. 161-173, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 288-306, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(12), pp. 1207-1225, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1381-1387, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1444-1445, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 11-18, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 61-75, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1257-1261, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 180-192, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Aytekin Vargun |
Consistency checking for automatic software generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: The 24th International Symposium on Computer and Information Sciences, ISCIS 2009, 14-16 September 2009, North Cyprus, pp. 561-566, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Alex Roederer, Yury Puzis, Geoff Sutcliffe |
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 157-162, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 35-50, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|