|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13906 occurrences of 4505 keywords
|
|
|
Results
Found 44759 publication records. Showing 44759 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Thomas J. Weigert, Jeffrey J. P. Tsai |
A Computationally Tractable Nonmonotonic Logic. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
computationally tractable nonmonotonic logic, nonmonotonic reasoning procedures, proof theoretically, semantic characteristics, Herbrand subset, knowledge representation, logic programming, logic programming, reasoning, nonmonotonic reasoning, incomplete information, formal logic, first-order predicate logic |
22 | Darrell Conklin, Suzanne Fortier, Janice I. Glasgow |
Knowledge Discovery in Molecular Databases. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
chemical information retrieval, spatial concepts, structured concept formation, molecular databases, machine learning paradigm, symbolic images, molecular knowledge base, high resolution electron density map, factographic databases, learning (artificial intelligence), relational databases, indexing, knowledge discovery, description logics, knowledge base, case-based reasoning, case-based reasoning, deductive databases, spatial reasoning, visual databases, relational models, scene analysis, conceptual clustering, chemistry computing |
22 | Shujun Zhang, Geoffrey D. Sullivan, Keith D. Baker |
The Automatic Construction of a View-Independent Relational Model for 3-D Object Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
view-independent relational model, single monochromatic images, statistical interference, primitive 2-D features, hyperedges, procedural constraints, covisibility measures, computer vision, graph theory, CAD, statistics, spatial reasoning, spatial reasoning, hypergraph, relational model, vision system, CAD model, geometric reasoning, best-first search, 3-D object recognition |
22 | Raghu Karinthi, Dana S. Nau |
An Algebraic Approach to Feature Interactions. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
geometric interactions, Protosolid solid modeling system, EFHA process planning system, solid modelling, algebra, spatial reasoning, spatial reasoning, feature interactions, CAD/CAM, CAD/CAM, geometric reasoning, algebraic approach, CAD systems |
22 | Kaibo Xu, Junkang Feng, Malcolm K. Crowe |
Defining the notion of 'Information Content' and reasoning about it in a database. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Semantic information theory, Reasoning, Inference rules, Information content, Data semantics |
22 | Paul-Eric Dossou, Philip Mitchell |
Implication of Reasoning in GRAIXPERT for Modeling Enterprises. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
performance, Expert system, Case-Based Reasoning, rules, reference models, enterprise modelling |
22 | Kenneth L. Knowles, Cormac Flanagan |
Compositional reasoning and decidable checking for dependent contract types. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
22 | Anna Queralt, Ernest Teniente |
Reasoning on UML Conceptual Schemas with Operations. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
operation contracts, Conceptual modeling, automatic reasoning |
22 | Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
Precise pointer reasoning for dynamic test generation. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
pointer reasoning, software testing, program verification, automatic test generation |
22 | Seungmin Rho, Seheon Song, Eenjun Hwang, Minkoo Kim |
COMUS: Ontological and Rule-Based Reasoning for Music Recommendation System. |
PAKDD |
2009 |
DBLP DOI BibTeX RDF |
Ontology, Reasoning, Music Recommendation |
22 | A. Prasanna Jagadeesan, A. Lynn, Jonathan R. Corney, Xiu-Tian Yan 0001, Jan Wenzel, Andrew Sherlock, William C. Regli |
Geometric reasoning via internet CrowdSourcing. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
2D strip packing, 3D similarity, canonical view, mTurk, micro-outsourcing, crowdsourcing, geometric reasoning |
22 | Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer |
Children's Application of Theory of Mind in Reasoning and Language. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
False belief, Second-order reasoning, Sentence comprehension, Theory of Mind, Strategic game |
22 | Antony Tang, Minh H. Tran, Jun Han 0004, Hans van Vliet |
Design Reasoning Improves Software Design Quality. |
QoSA |
2008 |
DBLP DOI BibTeX RDF |
Design Reasoning, Usability, Software Architecture Design |
22 | Emanuele Della Valle, Stefano Ceri, Davide Francesco Barbieri, Daniele Braga, Alessandro Campi |
A First Step Towards Stream Reasoning. |
FIS |
2008 |
DBLP DOI BibTeX RDF |
Real-time, Pervasive Computing, Data Streams, Reasoning, Urban Computing, Throughput-efficiency |
22 | Hiromi Miyajima, Noritaka Shigei, Shinya Fukumoto, Toshiaki Miike |
Parallel Fuzzy Reasoning Models with Ensemble Learning. |
ISNN (1) |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy reasoning model, AdaBoost, Ensemble learning, Parallel model |
22 | Kayo Sakamoto, Masanori Nakagawa |
A Computational Model of Risk-Context-Dependent Inductive Reasoning Based on a Support Vector Machine. |
LKR |
2008 |
DBLP DOI BibTeX RDF |
corpus-based conceptual clustering, Support Vector Machines, context, natural language processing, risk, inductive reasoning |
22 | José Viterbo Filho, Markus Endler |
A strategy for cooperative reasoning in ubiquitous computing environments. |
MPAC |
2008 |
DBLP DOI BibTeX RDF |
cooperative reasoning, ubiquitous computing, middleware |
22 | Arda Goknil, Ivan Kurtev, Klaas van den Berg |
A Metamodeling Approach for Reasoning about Requirements. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
requirements metamodels, model customization, reasoning |
22 | Ofer Arieli |
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae |
22 | Dong-Her Shih, Hsiu-Sen Chiang, Binshan Lin |
A Generalized Associative Petri Net for Reasoning. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Data mining, Ontology, Petri net, Association rule, Reasoning |
22 | Minghu Ha 0001, Yan Li 0003, Xiao-Feng Wang |
Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning |
22 | Jeroen Keppens |
Towards qualitative approaches to Bayesian evidential reasoning. |
ICAIL |
2007 |
DBLP DOI BibTeX RDF |
qualitative probabilistic networks, evidential reasoning |
22 | Thomas F. Gordon |
Constructing arguments with a computational model of an argumentation scheme for legal rules: interpreting legal rules as reasoning policies. |
ICAIL |
2007 |
DBLP DOI BibTeX RDF |
computational models of legal reasoning and argumentation, legal knowledge-based systems |
22 | Yalin Zheng, Huaqiang Yuan, Jing Zheng, Guang Yang 0002, Yongcheng Bai |
Similarity Mass and Approximate Reasoning. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Formula Mass, Knowledge Mass, ??logic, ??algorithm, ??completeness, Approximate Reasoning |
22 | Lin Lin, Xue-Hai Yuan |
A Method of Intuitionistic Fuzzy Reasoning Based on Inclusion Degree and Similarity Measure. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy reasoning, Inclusion degree, Similarity measure, Intuitionistic fuzzy sets |
22 | Alberto Fernández 0001, Salvador García 0001, Francisco Herrera, María José del Jesus |
An Analysis of the Rule Weights and Fuzzy Reasoning Methods for Linguistic Rule Based Classification Systems Applied to Problems with Highly Imbalanced Data Sets. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
rule weight, Fuzzy Reasoning Method, Imbalanced Data-sets, Over-sampling, Fuzzy Rule Based Classification Systems |
22 | Kayo Sakamoto, Masanori Nakagawa |
Risk Context Effects in Inductive Reasoning: An Experimental and Computational Modeling Study. |
CONTEXT |
2007 |
DBLP DOI BibTeX RDF |
corpus-based conceptual clustering, Support Vector Machines, natural language processing, categorization, risk, inductive reasoning |
22 | Rosella Gennari, Ornella Mich |
Constraint-Based Temporal Reasoning for E-Learning with LODE. |
CP |
2007 |
DBLP DOI BibTeX RDF |
automated temporal reasoning, e-learning, assistive technology, constraint programming |
22 | Tuan Trung Nguyen |
Outlier Detection: An Approximate Reasoning Approach. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
rough set, Outlier, granular computing, approximate reasoning, concept approximation |
22 | Todor Dimitrov, Josef Pauli, Edwin Naroska |
A probabilistic reasoning framework for smart homes. |
MPAC |
2007 |
DBLP DOI BibTeX RDF |
man-in-the-loop analysis, pervasive computing, ambient intelligence, Bayesian inference, probabilistic reasoning |
22 | Clemens Holzmann |
Rule-based reasoning about qualitative spatiotemporal relations. |
MPAC |
2007 |
DBLP DOI BibTeX RDF |
rule-based reasoning, spatial context, spatiotemporal relations, qualitative representation |
22 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
22 | Yuli Gao, Jianping Fan 0001 |
Incorporating concept ontology to enable probabilistic concept reasoning for multi-level image annotation. |
Multimedia Information Retrieval |
2006 |
DBLP DOI BibTeX RDF |
hierarchical probabilistic image concept reasoning, multi-level image annotation, bayesian network, concept ontology |
22 | Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits |
Reasoning about evolving nonmonotonic knowledge bases. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence |
22 | Jianmin Pang, Paul Callaghan, Zhaohui Luo |
LFTOP: An LF-Based Approach to Domain-Specific Reasoning. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
type theory, logical framework, proof assistant, domain-specific, formal reasoning |
22 | Quoc Bao Vo, Norman Y. Foo, Joe Thurbon |
Semantics for a theory of defeasible reasoning. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
argument-based systems, argumentation-theoretic semantics, defeat, justification, defeasible reasoning |
22 | Hung Son Nguyen |
Approximate Boolean Reasoning Approach to Rough Sets and Data Mining. |
RSFDGrC (2) |
2005 |
DBLP DOI BibTeX RDF |
boolean reasoning, data mining, Rough sets |
22 | Qing Liu, Qianying Wang |
Granular Logic with Closeness Relation "~lambda" and Its Reasoning. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
Closeness relation, Granular logic, closeness degree, Deductive Reasoning |
22 | Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur |
An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning. |
AOIS |
2005 |
DBLP DOI BibTeX RDF |
Meta-reasoning, intelligent agent systems, planning |
22 | Zhaohao Sun, Gavin R. Finnie |
MEBRS: A Multiagent Architecture for an Experience Based Reasoning System. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
Experience-based reasoning, knowledge-based system, multiagent system, experience management |
22 | Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge |
A logic for strategic reasoning. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent systems, game theory, modal logic, strategic reasoning |
22 | Daowu Pei |
On the strict logic foundation of fuzzy reasoning. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Fuzzy predicate logic, First-order system K*, Many-sort system Kms*, Triple I inference method, Fuzzy reasoning |
22 | Leiguang Gong |
Can web-based recommendation systems afford deep models: a context-based approach for efficient model-based reasoning. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
model, recommendation systems, context, reasoning, semantic network |
22 | Changlin Sun |
Empirical reasoning about quality of service of component-based distributed systems. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
quality of service, component-based development, compositional reasoning |
22 | Zaiyue Zhang, Yuefei Sui, Cungen Cao |
Fuzzy Reasoning Based on Propositional Modal Logic. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
propositional modal logic, fuzzy assertion, fuzzy reasoning |
22 | Lech Polkowski |
Rough Mereology: A Survey of New Developments with Applications to Granular Computing, Spatial Reasoning and Computing with Words. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
rough sets, spatial reasoning, granular computing, Rough mereology, computing with words |
22 | Mohamed Chachoua, Daniel Pacholczyk |
Qualitative Reasoning Under Ignorance and Information-Relevant Extraction. |
Knowl. Inf. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Informational relevance, Symbolic entropy, Artificial intelligence, Knowledge representation, Many-valued logic, Qualitative reasoning, Uncertainty management, Ignorance |
22 | Emilia Mendes, Nile Mosley, Ian D. Watson |
A comparison of case-based reasoning approaches. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
web effort prediction, web hypermedia, web hypermedia metrics, case-based reasoning, prediction models |
22 | Michele Boreale, Daniele Gorla |
On Compositional Reasoning in the Spi-calculus. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
reasoning on security, process calculi, axiomatization |
22 | Mohand-Said Hacid, Jean-Marc Petit, Farouk Toumani |
Representing and Reasoning on Database Conceptual Schemas. |
Knowl. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Artificial intelligence in databases, Information capacity, Conceptual modeling, Description logics, Reasoning |
22 | Churn-Jung Liau, Y. Y. Yao |
Information Retrieval by Possibilistic Reasoning. |
DEXA |
2001 |
DBLP DOI BibTeX RDF |
Similarity-based reasoning, Description logic, Possibilistic logic, Boolean models |
22 | Jos Lehmann |
Towards the Formalization of Legal Causal Reasoning. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
AI&Law, legal knowledge systems, agent causation, formal ontology, causal reasoning |
22 | Lina Khatib, Robert A. Morris 0001 |
Generating Scenarios for Periodic Events with Binary Constraints. |
TIME |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, constraint satisfaction, temporal reasoning |
22 | Stefano A. Cerri, Vincenzo Loia |
A Concurrent, Distributed Architecture for Diagnostic Reasoning. |
User Model. User Adapt. Interact. |
1997 |
DBLP DOI BibTeX RDF |
ABCL/1 programming language, actors, student modeling, concurrent object-oriented programming, diagnostic reasoning, actor model |
22 | Didar Zowghi, Ray Offen |
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements. |
RE |
1997 |
DBLP DOI BibTeX RDF |
meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution |
22 | Todd Law, Hidenori Itoh, Hirohisa Seki |
Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
edge detection, filtering, tracing, joins, Fuzzy reasoning |
22 | Shin Nakamura, Eiji Uchino, Takeshi Yamakawa |
Fuzzy reasoning method for smooth interpolation. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
smooth interpolation, fuzzy reasoning method, neighboring data, data pairs, practical data, simulation, interpolation, digital simulation, inference mechanisms, fuzzy set theory, computer simulations, fuzzy rule, humans, fluctuation |
22 | Raj Bhatnagar, Laveen N. Kanal |
Structural and Probabilistic Knowledge for Abductive Reasoning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
structural knowledge, qualitative relationships learning, probabilistic knowledge, learning (artificial intelligence), knowledge engineering, inference mechanisms, explanation, probabilistic logic, abductive reasoning, conditional entropy |
22 | Isabelle Bloch |
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations |
22 | Stephen Lee-Urban, Héctor Muñoz-Avila |
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
adaptation, planning, retrieval, cased-based reasoning, trade-offs |
22 | Albert Fornells, Juan A. Recio-García, Belén Díaz-Agudo, Elisabet Golobardes, Eduard Fornells |
Integration of a Methodology for Cluster-Based Retrieval in jColibri. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
CBR Tools, Cluster Based Memory, Case Memory Organization, Soft Case-Based Reasoning, Textual CBR, jCOLIBRI |
22 | Dominik Lücke, Till Mossakowski, Diedrich Wolter |
Qualitative Reasoning about Convex Relations. |
Spatial Cognition |
2008 |
DBLP DOI BibTeX RDF |
Qualitative spatio-temporal reasoning, relative orientation calculi, consistency |
22 | Marios N. Avraamides, Stephanie Pantelidou |
Does Body Orientation Matter When Reasoning about Depicted or Described Scenes?. |
Spatial Cognition |
2008 |
DBLP DOI BibTeX RDF |
body orientation, sensorimotor interference, spatial reasoning, perspective-taking |
22 | Petra Perner |
Case-Based Reasoning and the Statistical Challenges. |
ECCBR |
2008 |
DBLP DOI BibTeX RDF |
CBR Meta-learning, Image Processing, Signal Processing, Similarity, Case-Based Reasoning, Incremental Learning, Memory Organization |
22 | Pedro Almeida, Marco Jorge, Luís Cortesão, Filipe Martins, Marco Vieira, Paulo Gomes |
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning. |
ECCBR |
2008 |
DBLP DOI BibTeX RDF |
telecommunication fraud, case-based reasoning, fraud detection |
22 | Marios N. Avraamides, Melina-Nicole Kyranidou |
Sensorimotor Interference When Reasoning About Described Environments. |
Spatial Cognition |
2006 |
DBLP DOI BibTeX RDF |
alignment effect, sensorimotor interference, Spatial reasoning |
22 | Reinhard Moratz, Bernhard Nebel, Christian Freksa |
Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs. |
Spatial Cognition |
2003 |
DBLP DOI BibTeX RDF |
Cognitive Modelling, Robot Navigation, Qualitative Spatial Reasoning |
22 | Mazen El-Sayed, Daniel Pacholczyk |
Reasoning under Vagueness Expressed by Nuanced Statements. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision |
22 | Nicoleta Neagu, Boi Faltings |
Exploiting Interchangeabilities for Case Adaptation. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
case adaptation, case-based reasoning, constraint satisfaction problems, interchangeability |
22 | Ján Sefránek |
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning |
22 | Robert A. Morris 0001, Lina Khatib |
Optimization in Constraint Reasoning about Repeating Events. |
TIME |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, constraint satisfaction, temporal reasoning |
22 | Michael J. Almeida |
A System for Reasoning with Nonconvex Intervals. |
TIME |
1999 |
DBLP DOI BibTeX RDF |
convex interval, nonconvex interval, temporal reasoning |
22 | Mario Lenz |
Defining Knowledge Layers for Textual Case-Based Reasoning. |
EWCBR |
1998 |
DBLP DOI BibTeX RDF |
Textual CBR, Case-Based Reasoning, Intelligent Information Retrieval |
21 | Ron Rood |
The Logic of Geometric Proof. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Wei Wang 0266, Thomas E. Daniels |
Building Evidence Graphs for Network Forensics Analysis. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mal-Rey Lee, Jae Wan Lee |
A Fuzzy Inference Network Model for Search Strategy Using Neural Logic Network. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
neural logic network, propagation rules, fuzzy inference network, expert system, search strategy |
21 | Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte |
A programming model for concurrent object-oriented programs. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning |
21 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
21 | Patrick W. Yaner, Ashok K. Goel 0001 |
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning |
21 | Maysa Rezende, Ricardo Luís de Freitas, Gilberto Shigueo Nakamiti |
HINT- A Hybrid Intelligent System for Telecommunications. |
HIS |
2006 |
DBLP DOI BibTeX RDF |
Data Mining, Application, Case-Based Reasoning, Rule-Based Reasoning |
21 | Lionel Paris, Belaid Benhamou, Pierre Siegel |
A Boolean Encoding Including SAT and n-ary CSPs. |
AIMSA |
2006 |
DBLP DOI BibTeX RDF |
Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning |
21 | Marco Cadoli, Thomas Eiter, Georg Gottlob |
Complexity of propositional nested circumscription and nested abnormality theories. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription |
21 | Bernhard Heinemann |
The Topological Effect of Improving Knowledge Acquisition. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
modal logic and topology, completeness, spatial reasoning, Reasoning about knowledge |
21 | Bernhard Heinemann |
Algebras as Knowledge Structures. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
modal and hybrid logic, knowledge and algebras, decidability, topological reasoning, reasoning about knowledge |
21 | Liliana Ironi, Stefania Tentoni |
Electrocardiographic Imaging: Towards Automated Interpretation of Activation Maps. |
AIME |
2005 |
DBLP DOI BibTeX RDF |
electrocardiology, imaging, spatial reasoning, qualitative reasoning |
21 | Jan-R. Sieckmann |
Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments. |
Artif. Intell. Law |
2003 |
DBLP DOI BibTeX RDF |
internal point of view, normative arguments, weighing and balancing, argumentation, legal reasoning, defeasible reasoning |
21 | Kenneth D. Forbus, Jeffrey M. Usher, Vernell Chapman |
Sketching for military courses of action diagrams. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
nuSketch, multimodal interfaces, spatial reasoning, analogy, qualitative reasoning, sketch understanding |
21 | Yan Zangh, Yun Bai |
G-STRIPS - A Generalized STRIPS System for Handling State Change over Dynamic Domains. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
Reasoning about change, logic of AI, knowledge representation, commonsense reasoning |
21 | Joseph Aguilar-Martin, Núria Agell, Mónica Sánchez, Francesc Prats |
Analysis of Tensions in a Population Based on the Adequacy Concept. |
CCIA |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, fuzzy reasoning, qualitative reasoning, classification algorithms |
21 | Jeremy E. Dawson, Rajeev Goré |
Machine-Checking the Timed Interval Calculus. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
Reasoning about time, theorem proving, automated reasoning |
21 | B. Chandrasekaran 0001, John R. Josephson |
Function in Device Representation. |
Eng. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Device ontology, Device simulation, Functional reasoning, Compositional modeling, Functional representation, Causal reasoning |
21 | Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui |
Logical models of argument. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
argumentative systems, argumentation, reasoning, defeasible reasoning, defeasible argumentation |
21 | Gonzalo Escalada-Imaz |
A Temporal Many-Valued Logic for Real Time Control Systems. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Computational Complexity, Real Time, Temporal Reasoning, Automated Reasoning, Control Systems, Many-valued Logic |
21 | Yang Xiang 0004 |
Temporally Invariant Junction Tree for Interference in Dynamic Bayesian Network. |
Artificial Intelligence Today |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, temporal reasoning, dynamic Bayesian networks, Probabilistic reasoning |
21 | Alexandra Musto, Klaus Stein, Kerstin Schill, Andreas Eisenkolb, Wilfried Brauer |
Qualitative Motion Representation in Egocentric and Allocentric Frames of Reference. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Representation of Spatio-Temporal Knowledge, Spatial Reference Frames, Spatial Reasoning, Qualitative Reasoning |
21 | Paolo Bison, Carlo Ferrari, Enrico Pagello, L. Stocchiero |
A heuristic approach to automatic grasp planning for a 3-fingered hand. |
J. Intell. Robotic Syst. |
1995 |
DBLP DOI BibTeX RDF |
Grasp modelling, functional reasoning, heuristic reasoning, articulated hand, implicit programming, grasp planning, task planning |
21 | Peter D. Holmes, Erland Jungert |
Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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 |
21 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. |
IEEE Trans. Software Eng. |
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 |
21 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
21 | John Yearwood, Andrew Stranieri |
Deliberative discourse and reasoning from generic argument structures. |
AI Soc. |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 44759 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|