The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase axiomatic reasoning (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1982-2021 (15)
Publication types (Num. hits)
article(5) inproceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 18 keywords

Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
41Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
26Uday S. Reddy Programming with sequences. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1982 DBLP  DOI  BibTeX  RDF abstract sequences, axiomatic reasoning, eight-queens problem, functional forms, operational reasoning, functional programming, dynamism, variables, recursion, fixed points, Procedural programming
20Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa A trustful monad for axiomatic reasoning with probability and nondeterminism. Search on Bibsonomy J. Funct. Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
20Bill Power, Xiang Li 0068, Pei Wang 0002 Generalized Diagnostics with the Non-Axiomatic Reasoning System (NARS). Search on Bibsonomy AGI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Dejan Sredojevic, Milan Vidakovic, Mirjana Ivanovic ALAS: agent-oriented domain-specific language for the development of intelligent distributed non-axiomatic reasoning agents. Search on Bibsonomy Enterp. Inf. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
20Patrick Hammer, Tony Lofthouse, Pei Wang 0002 The OpenNARS Implementation of the Non-Axiomatic Reasoning System. Search on Bibsonomy AGI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
20Tony Lofthouse, Patrick Hammer Generalized Temporal Induction with Temporal Concepts in a Non-axiomatic Reasoning System. Search on Bibsonomy AGI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
20Na Slam, Wenjun Wang, Pei Wang An Improvisational Decision-Making Agent Based on Non-axiomatic Reasoning System. Search on Bibsonomy WI-IAT (3) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
20Simon Richards, Mehrnoosh Sadrzadeh Aximo: Automated Axiomatic Reasoning for Information Update. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Pei Wang Non-Axiomatic Reasoning System (Version 4.1). Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
16Kamal Aboul-Hosn, Dexter Kozen Local Variable Scoping and Kleene Algebra with Tests. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16François Bry, Bernhard Lorenz, Stephanie Spranger Calendars and Topologies as Types. Search on Bibsonomy KES (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. Search on Bibsonomy ICMT@TOOLS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Bart M. ter Haar Romeny, Luc Florack, Mads Nielsen Scale-Time Kernels and Models. Search on Bibsonomy Scale-Space The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license