The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1991-2008 (17) 2009-2019 (4)
Publication types (Num. hits)
article(2) inproceedings(19)
Venues (Conferences, Journals, ...)
ICCS(2) AIS-ADM(1) AISC(1) CCL(1) CSWWS(1) DEXA(1) EUROMICRO-SEAA(1) GIScience(1) HSCC(1) ICFP(1) ICTAI(1) IEEE Trans. Software Eng.(1) ISVLSI(1) J. Heuristics(1) LPNMR(1) MPC(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 40 occurrences of 40 keywords

Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
24Yau-Hwang Kuo, Shiuh-Chu Lee Software Development Tool for Object-Oriented Fuzzy Knowledge Systems. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF object oriented fuzzy knowledge systems, fuzzy reasoning concept, reasoning power, novel fuzzy linguistic object model, three layered structure, knowledge acquisition layer, object design layer, program design layer, fuzzy knowledge systems, object simulator, knowledge representation, software tools, expert system, rapid prototyping, inheritances, approximate reasoning, rule base, object oriented paradigm, software development tool, design information, problem solving process
21Gerald 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
14Amy P. Felty, Alberto Momigliano Reasoning with hypothetical judgments and open terms in hybrid. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
14Clemens Ballarin, Lawrence C. Paulson Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
11Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
10Dong Yu 0003, Lu Liu 0008, Chen Yu 0004, Changliang Li Testing the Reasoning Power for NLI Models with Annotated Multi-perspective Entailment Dataset. Search on Bibsonomy CCL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
10Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström, Marc Vinyals Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
8Peter Graubmann, Mikhail Roshchin Semantic Annotation of Software Components. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny Semantics-Aware Services for the Mobile Computing Environment. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
8Joakim von Wright From Kleene Algebra to Refinement Algebra. Search on Bibsonomy MPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
8Tru H. Cao, Peter N. Creasy Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure. Search on Bibsonomy ICCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
5Andrew John Sadler, Carmen Gervet Enhancing set constraint solvers with lexicographic bounds. Search on Bibsonomy J. Heuristics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Artificial intelligence, Constraint programming, Modelling languages
5Martin Fränzle, Holger Hermanns, Tino Teige Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
5Maria Vasardani, Max J. Egenhofer Single-Holed Regions: Their Relations and Inferences. Search on Bibsonomy GIScience The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
5Peter Graubmann, Mikhail Roshchin Semantic Modelling in Agent-Based Software Development. Search on Bibsonomy AIS-ADM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Agent-based Software Development, Semantic Web Techniques, Semantic Modelling, Heterogeneous environments
5Christoph Sprenger 0001, David A. Basin A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
5Madalina Croitoru, Bo Hu 0001, Srinandan Dashmapatra, Paul H. Lewis, David Dupplaw, Liang Xiao 0002 A Conceptual Graph Description of Medical Data for Brain Tumour Classification. Search on Bibsonomy ICCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
5Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin DatalogDL: Datalog Rules Parameterized by Description Logics. Search on Bibsonomy CSWWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
5David Fisher, Olin Shivers Static analysis for syntax objects. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
5Markus Wedler, Dominik Stoffel, Wolfgang Kunz Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation. Search on Bibsonomy ISVLSI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
5Gaihua Fu, Jianhua Shao 0001, Suzanne M. Embury, W. A. Gray Representing Constraint Business Rules Extracted from Legacy Systems. Search on Bibsonomy DEXA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (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