The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1973-1982 (15) 1983-1986 (20) 1987-1988 (22) 1989-1990 (21) 1991-1992 (27) 1993-1994 (27) 1995 (15) 1996 (17) 1997-1998 (27) 1999 (18) 2000 (16) 2001 (28) 2002 (25) 2003 (18) 2004 (38) 2005 (34) 2006 (46) 2007 (54) 2008 (57) 2009 (40) 2010-2011 (15) 2012-2014 (18) 2015-2017 (18) 2018-2020 (17) 2021-2023 (8)
Publication types (Num. hits)
article(137) incollection(7) inproceedings(495) phdthesis(2)
Venues (Conferences, Journals, ...)
CADE(23) TPHOLs(12) RTA(11) CoRR(10) POPL(10) LPAR(9) CSL(8) ICCS(7) J. ACM(7) J. Autom. Reason.(7) KES (2)(7) SIGMOD Conference(7) ACM Trans. Comput. Log.(6) IEEE Trans. Software Eng.(6) LICS(6) Stud Logica(6) More (+10 of total 369)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 613 occurrences of 439 keywords

Results
Found 641 publication records. Showing 641 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48M. Nakata Functional dependencies in fuzzy databases. Search on Bibsonomy KES (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44Dipankar Sarkar 0001, S. C. De Sarkar Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic
42Kyung-Wook Park, Jin-Woo Jeong, Dong-Ho Lee OLYBIA: Ontology-Based Automatic Image Annotation System Using Semantic Inference Rules. Search on Bibsonomy DASFAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF high-level concepts, semantic inference rules, MPEG-7 visual descriptors, ontologies, semantic gap
41Véronique Royer, Joachim Quantz Deriving Inference Rules for Terminological Logics. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
41Zdzislaw Pawlak Inference Rules and Decision Rules. Search on Bibsonomy ICAISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Rajeev Goré, Linda Postniece, Alwen Tiu Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Dipankar Sarkar 0001, S. C. De Sarkar A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
35Yu Sun 0005, Yuefei Sui Default Description Logics with Reversing Inference Rules. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Vladimir V. Rybakov Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
33Yixin Jing, Dongwon Jeong, Doo-Kwon Baik SPARQL graph pattern rewriting for OWL-DL inference queries. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Graph pattern, Ontology inference, Semantic web, SPARQL, Query rewriting, OWL-DL
32Randal L. Walser, Bruce H. McCormick A system for priming a clinical knowledge base. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
31Manel Zarrouk Consolidation endogène de réseaux lexico-sémantiques : Inférence et annotation de relations, règles d'inférence et langage dédié. (Endogeneous Consolidation of Lexical Semantic Networks / Endogeneous Consolidation of Lexical Semantic Networks : Inference and annotation of semantic relations, inference rules and Domain-Specific Language ). Search on Bibsonomy 2015   RDF
31Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara Armstrong's Inference Rules in Dedekind Categories. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Yu Jiang, Binxing Fang, Ming-Zeng Hu, Xiang Cui Techniques for Determining the Geographic Location of IP Addresses in ISP Topology Measurement. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Internet topology measurement, geographic location, network deployment structure, whois information, routing, network topology, domain name
30Thierry Carron, Patrick Lambert Fuzzy color edge extraction by inference rules quantitative study and evaluation of performances. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fuzzy color edge extraction, inference rules quantitative study, hue saturation intensity, HSI space, color edge detection, performances, fuzzy logic, edge detection, inference mechanisms, image colour analysis, synthetic images, noise sensitivity, fuzzy if-then rules, edges localization
29Mads Tofte, Lars Birkedal A Region Inference Algorithm. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF regions, standard ML
29Vladimir V. Rybakov Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF admissible inference rules, Temporal logic, linear temporal logic, branching time logic
29Spyros G. Tzafestas, Antoni Ligeza A framework for knowledge-based control. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF automatic control, control support systems, expert control, reasoning/inference control, Artificial intelligence, expert systems, knowledge engineering, inference rules, knowledge-based control
29Chia-Hung Lin, Jen-Shin Hong, Martin Doerr Issues in an inference platform for generating deductive knowledge: a case study in cultural heritage digital libraries using the CIDOC CRM. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Wieslaw Pawlowski Presenting and Combining Inference Systems: Presentations with Inference Rules. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Salvatore Greco, Zdzislaw Pawlak, Roman Slowinski Generalized Decision Algorithms, Rough Inference Rules, and Flow Graphs. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Kaibo Xu, Junkang Feng, Malcolm K. Crowe Defining the notion of 'Information Content' and reasoning about it in a database. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantic information theory, Reasoning, Inference rules, Information content, Data semantics
27Zhenhua Duan, Nan Zhang 0001 A Complete Axiomatization of Propositional Projection Temporal Logic. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal logic, completeness, projection, inference rules, axiom
27James P. McGlothlin, Latifur R. Khan RDFKB: efficient support for RDF inference queries and knowledge management. Search on Bibsonomy IDEAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information integration and retrieval, logic and databases, ontology, semantic web, data models, resource description framework, knowledge base management systems
27Vladimir V. Rybakov Modal Logics Preserving Admissible for S4 Inference Rules. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
27Laurent Perrussel, Pierre-Jean Charrel Inconsistent Requirements: An Argumentation View. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF > Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
26Reinhard Pichler Completeness and Redundancy in Constrained Clause Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito Verification of Authentication Protocols Based on the Binding Relation. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Zheng Zhu, Carl-Johan H. Seger The Completeness of a Hardware Inference System. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Yunjeong Kang, Malrey Lee, Yongseok Lee, Thomas M. Gatton Optimization of Fuzzy Rules: Integrated Approach for Classification Problems. Search on Bibsonomy ICCSA (5) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Sadok Ben Yahia, Ali Jaoua BRRA: A Based Relevant Rectangles Algorithm for Mining Relationships in Databases. Search on Bibsonomy PAKDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Knowledge discovery algorithm, relevant rectangle, inference rules
25David M. Goldschlag Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
25Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau Algorithms for Constructing Minimal Deduction Graphs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
25Alessandro Giacalone, Scott A. Smolka Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages
25Jianjiang Lu, Jinpeng Wang, Yafei Zhang, Bo Zhou 0019, Yanhui Li, Zhuang Miao An Inference Control Algorithm for RDF(S) Repository. Search on Bibsonomy PAISI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Kyung-Wook Park, Dong-Ho Lee Full-Automatic High-Level Concept Extraction from Images Using Ontologies and Semantic Inference Rules. Search on Bibsonomy ASWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Dekang Lin, Patrick Pantel DIRT @SBT@discovery of inference rules from text. Search on Bibsonomy KDD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25John C. Mitchell Inference Rules for Functional and Inclusion Dependencies. Search on Bibsonomy PODS The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
24Maria Paola Bonacina, Jieh Hsiang On Fairness of Completion-Based Theorem Proving Strategies. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Catherine Belleannée, Jacques Nicolas Static Learning for an Adaptive Theorem Prover. Search on Bibsonomy EWSL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Key-words Theorem proving, Macro-operators, Generalization to N, Sequent calculus
24John Hannan, Dale Miller 0001 From Operational Semantics to Abstract Machines: Preliminary Results. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Yan Na, Hongmin Lu, Ying Zhang Content Analysis Based Medical Images Fusion with Fuzzy Inference. Search on Bibsonomy FSKD (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Vladimir V. Rybakov Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
23Fredrik Johansson, Göran Falkman A Comparison between Two Approaches to Threat Evaluation in an Air Defense Scenario. Search on Bibsonomy MDAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fuzzy inference rules, threat assessment, threat evaluation, weapons allocation, fuzzy logic, Bayesian networks
23Marek Hatala, Leila Kalantari, Ron Wakkary, Kenneth Newby Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF augmented audio reality, ontologies, user model, inference rules
23Monika P. Hippe Towards the Classification of Musical Works: A Rough Set Approach. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Attributes of music, rough sets, classify, discretization, attribute reduction, inference rules, decomposition tree
23Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
23Sandrine Blazy, Philippe Facon Application of Formal Methods to the Development of a Software Maintenance Tool. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
23Jianhua Chen 0003, Sukhamay Kundu A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF resolution method, fuzzy logic, inference rules
23Michel Wermelinger Conceptual Graphs and First-Order Logic. Search on Bibsonomy ICCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules
23Aviel D. Rubin Extending NCP for protocols using public keys. Search on Bibsonomy ICCCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF nonmonotonic cryptographic protocols, asymmetric keys, update function, principals, binding requirements, public key protocol, protocols, certificates, inference rules
23Isabelle Attali, Denis Caromel, Andrew L. Wendelborn From a formal dynamic semantics of Sisal to a Sisal environment. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
23Peter D. Holmes, Erland Jungert Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF symbolic connectivity, geometric connectivity graph methods, 2D route planning, heuristic symbolic processing, computational geometry, graph theory, planning (artificial intelligence), search problems, spatial reasoning, spatial reasoning, obstacle avoidance, heuristic programming, inference rules, symbol manipulation, digitized maps, hierarchical data structure, knowledge structure, A* search, route planning
23Margaret M. Burnett, Martin Erwig Visually Customizing Inference Rules About Apples and Oranges. Search on Bibsonomy HCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Alain-Pierre Manine, Érick Alphonse, Philippe Bessières Information Extraction as an Ontology Population Task and Its Application to Genic Interactions. Search on Bibsonomy ICTAI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Tomasz Imielinski Query Processing in Deductive Databases with Incomplete Information. Search on Bibsonomy SIGMOD Conference The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
22Michel Ludwig, Ullrich Hustadt Fair Derivations in Monodic Temporal Reasoning. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori Bottom-Up Shape Analysis. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Konstantine Arkoudas, Olin Shivers Trusted Theorem Proving: A Case Study in SLD-Resolution. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Michael D. Siegel, Edward Sciore, Sharon C. Salveter A Method for Automatic Rule Derivation to Support Semantic Query Optimization. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF transformation heuristic, learning, integrity constraint
21Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ontology, Context Awareness, Human Intention, BDI Logic
21Christopher Lynch, Barbara Morawska 0001 Goal-Directed E-Unification. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Jeffrey F. Naughton Minimizing function-free recursive inference rules. Search on Bibsonomy J. ACM The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Lotfi A. Zadeh Inference in Fuzzy Logic via Generalized Constraint Propagation. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words
20John Esch, Robert Levinson In Implementation Model for Contexts and Negation in Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Contexts, Knowledge Representation, Consistency, Retrieval, Inference, Conceptual Graphs, Negation
19Aleksey Nogin, Jason Hickey Sequent Schema for Derived Rules. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Yan Zhang 0003 Constraints, Causal Rules and Minimal Change in Model-based Update. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Catriel Beeri, Ronald Fagin, John H. Howard A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. Search on Bibsonomy SIGMOD Conference The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
19Fabio Massimo Zanzotto, Lorenzo Ferrone Can we explain natural language inference decisions taken with neural networks? Inference rules in distributed representations. Search on Bibsonomy IJCNN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
19Xin Gao, Dan A. Ralescu, Yuan Gao On Liu's Inference Rules for Fuzzy Inference Systems. Search on Bibsonomy IPMU (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Merkourios Margaritopoulos, Isabella Kotini, Athanasios Manitsaris, Ioannis Mavridis Identifying Inference Rules for Automatic Metadata Generation from Pre-existing Metadata of Related Resources. Search on Bibsonomy MTSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Qingjun Yu, Shengli Xie An image quality assessment method based on fuzzy inference rules. Search on Bibsonomy ICARCV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Taro Tezuka, Ryong Lee, Yahiko Kambayashi, Hiroki Takakura Web-Based Inference Rules for Processing Conceptual Geographical Relationships. Search on Bibsonomy WISE (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF prepositions, GIS, neighborhood, mental map, the Web
19Amy P. Felty A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Amy P. Felty A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Sven Hartmann, Sebastian Link Efficient reasoning about a robust XML key fragment. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XML key, reachability, axiomatization, implication, XML data
18Adrien Delaye, Sébastien Macé, Éric Anquetil Hybrid statistical-structural on-line Chinese character recognition with fuzzy inference system. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Kai Brünnler Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cut elimination, first-order predicate logic, deep inference
18Ozan Kahramanogullari Reducing Nondeterminism in the Calculus of Structures. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Sebastian Link A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Christopher Lynch, Barbara Morawska 0001 Automatic Decidability. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Wei Li 0022 A Logical Framework for Inductive Inference and Its Rationality. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1999 DBLP  DOI  BibTeX  RDF inductive process, belief revision, knowledge representation and reasoning, inductive reasoning
18Paul E. Black, Phillip J. Windley Formal Verification of Secure Programs in the Presence of Side Effects. Search on Bibsonomy HICSS (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
18Satoshi Okui, Aart Middeldorp, Tetsuo Ida Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
17Ivan Nunes da Silva, Rogério Andrade Flauzino Efficient Parametric Adjustment of Fuzzy Inference System Using Error Backpropagation Method. Search on Bibsonomy ICANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tuning algorithm, error backpropagation, Fuzzy systems
17Ivan Nunes da Silva, Rogério Andrade Flauzino Efficient Parametric Adjustment of Fuzzy Inference System Using Unconstrained Optimization. Search on Bibsonomy IWANN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tuning algorithm, Fuzzy systems, system optimization
17Hyun-Uk Hwang, Minsoo Kim 0002, Bong-Nam Noh Expert System Using Fuzzy Petri Nets in Computer Forensics. Search on Bibsonomy ICHIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF expert system, Computer forensics, inference rule, fuzzy Petri nets, hacking
17Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin Logical Consequences in Partial Knowledge Bases. Search on Bibsonomy Towards Intelligent Engineering and Information Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences
17Sergey Babenyshev, Vladimir V. Rybakov Logic of Discovery and Knowledge: Decision Algorithm. Search on Bibsonomy KES (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kripke-Hintikka models, rules in normal reduced form, modal logic, decidability, inference rules, chance discovery
17Vladimir V. Rybakov Logic of Discovery in Uncertain Situations- Deciding Algorithms. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic of discovery, Kripke/Hintikka models, rules in normal reduced form, Modal logic, inference rules
17Mehmet Emin Dönderler, Özgür Ulusoy, Ugur Güdükbay Rule-based spatiotemporal query processing for video databases. Search on Bibsonomy VLDB J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Spatiotemporal query processing, Content-based retrieval, Multimedia databases, Video databases, Inference rules
17Leila Kalantari, Marek Hatala, Jordan Willms Using semantic web approach in augmented audio reality system for museum visitors. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF augmented-audio reality, ontologies, user model, inference rules
17Ke Wang, Li-Yan Yuan First-Order Logic Characterization of Program Properties. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
17Amihai Motro Intensional Answers to Database Queries. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF intensional information, data classes, extensional information, database answers, intensional statements, research directions, classifications, user interfaces, user interfaces, query processing, data integrity, database management systems, database systems, integrity constraints, inference rules, database queries, class hierarchies
17David A. McAllester Automatic Recognition of Tractability in Inference Relations. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine inference, theorem proving, polynomial-time algorithm, automated reasoning, inference rules, proof theory, proof systems, mechanical verification
17David A. McAllester, Robert Givan Taxonomic Syntax for First Order Inference. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine inference, theorem proving, polynomial time algorithms, automated reasoning, inference rules, proof theory, proof systems, mechanical verification
17Sergei G. Vorobyov A structural completeness theorem for a class of conditional rewrite rule systems. Search on Bibsonomy Conference on Computer Logic The full citation details ... 1988 DBLP  DOI  BibTeX  RDF conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness
17Grazyna Mirkowska, Andrzej Salwicki On Applications of Algorithmic Logic. Search on Bibsonomy CAAP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties
16Ashish Darbari Symmetry Reduction for STE Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Zdzislaw Pawlak Reasoning about Data - A Rough Set Perspective. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 641 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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