|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 57-63, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 985-987, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(6), pp. 531-544, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(4), pp. 469-484, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 18(1), pp. 29-59, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 374-381, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 27-38, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
22 | Anna Queralt, Ernest Teniente |
Reasoning on UML Conceptual Schemas with Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 47-62, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 129-140, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 859-866, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009, pp. 313-318, 2009, ACM, 978-1-60558-711-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(4), pp. 417-442, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 28-42, 2008, Springer, 978-3-540-87878-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIS ![In: Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers, pp. 72-81, 2008, Springer, 978-3-642-00984-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 521-530, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LKR ![In: Large-Scale Knowledge Resources. Construction and Application, Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008, Proceedings, pp. 295-309, 2008, Springer, 978-3-540-78158-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), held at the ACM/IFIP/USENIX 9th International Middleware Conference, December 1-5, 2008, Leuven, Belgium, pp. 66-71, 2008, ACM, 978-1-60558-364-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 310-325, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
requirements metamodels, model customization, reasoning |
22 | Ofer Arieli |
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 18, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(9), pp. 1241-1251, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(4), pp. 323-327, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 17-25, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 117-121, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 674-684, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 315-322, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 170-178, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings, pp. 425-438, 2007, Springer, 978-3-540-74254-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 90-104, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated temporal reasoning, e-learning, assistive technology, constraint programming |
22 | Tuan Trung Nguyen |
Outlier Detection: An Approximate Reasoning Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSEISP ![In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 495-504, 2007, Springer, 978-3-540-73450-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2007), held at the ACM/IFIP/USENIX 8th International Middleware Conference, November 26 - November 30, 2007, Newport Beach, California, USA, pp. 1-6, 2007, ACM, 978-1-59593-930-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2007), held at the ACM/IFIP/USENIX 8th International Middleware Conference, November 26 - November 30, 2007, Newport Beach, California, USA, pp. 49-54, 2007, ACM, 978-1-59593-930-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 172-183, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 8th ACM SIGMM International Workshop on Multimedia Information Retrieval, MIR 2006, October 26-27, 2006, Santa Barbara, California, USA, pp. 79-88, 2006, ACM, 1-59593-495-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 389-440, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(4), pp. 526-535, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 44(1-2), pp. 87-119, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (2) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II, pp. 12-22, 2005, Springer, 3-540-28660-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 709-717, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers, pp. 216-230, 2005, Springer, 3-540-48291-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I, pp. 972-978, 2005, Springer, 3-540-28894-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 157-164, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(8), pp. 539-545, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 89-93, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 341-346, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 109-115, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 106-113, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 4(4), pp. 483-506, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp. 272-280, 2002, ACM, 1-58113-449-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 67-81, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 3(1), pp. 52-80, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001, Proceedings, pp. 52-61, 2001, Springer, 3-540-42527-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Similarity-based reasoning, Description logic, Possibilistic logic, Boolean models |
22 | Jos Lehmann |
Towards the Formalization of Legal Causal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 780-784, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 67-72, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, constraint satisfaction, temporal reasoning |
22 | Stefano A. Cerri, Vincenzo Loia |
A Concurrent, Distributed Architecture for Diagnostic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 7(2), pp. 69-105, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 247-, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(5), pp. 481-491, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 120-123, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 233-245, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 1-13, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings, pp. 180-194, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings, pp. 418-433, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings, pp. 426-440, 2008, Springer, 978-3-540-87600-7. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings, pp. 8-21, 2008, Springer, 978-3-540-87600-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
body orientation, sensorimotor interference, spatial reasoning, perspective-taking |
22 | Petra Perner |
Case-Based Reasoning and the Statistical Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 430-443, 2008, Springer, 978-3-540-85501-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 562-572, 2008, Springer, 978-3-540-85501-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers, pp. 270-287, 2006, Springer, 978-3-540-75665-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition III, Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning, pp. 385-400, 2003, Springer, 3-540-40430-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 382-394, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001, Proceedings, pp. 422-436, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 63-77, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 82-87, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, constraint satisfaction, temporal reasoning |
22 | Michael J. Almeida |
A System for Reasoning with Nonconvex Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 8-16, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
convex interval, nonconvex interval, temporal reasoning |
22 | Mario Lenz |
Defining Knowledge Layers for Textual Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWCBR ![In: Advances in Case-Based Reasoning, 4th European Workshop, EWCBR-98, Dublin, Ireland, September 1998, Proceedings, pp. 298-309, 1998, Springer, 3-540-64990-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Textual CBR, Case-Based Reasoning, Intelligent Information Retrieval |
21 | Ron Rood |
The Logic of Geometric Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings, pp. 221-225, 2006, Springer, 3-540-35623-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Wei Wang 0266, Thomas E. Daniels |
Building Evidence Graphs for Network Forensics Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA, pp. 254-266, 2005, IEEE Computer Society, 0-7695-2461-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mal-Rey Lee, Jae Wan Lee |
A Fuzzy Inference Network Model for Search Strategy Using Neural Logic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 36(2), pp. 209-221, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(1), pp. 1:1-1:48, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 107-120, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 25(1), pp. 91-105, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 6th International Conference on Hybrid Intelligent Systems (HIS 2006), 13-15 December 2006, Auckland, New Zealand, pp. 64, 2006, IEEE Computer Society, 0-7695-2662-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings, pp. 33-44, 2006, Springer, 3-540-40930-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 232-272, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 21-30, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
modal logic and topology, completeness, spatial reasoning, Reasoning about knowledge |
21 | Bernhard Heinemann |
Algebras as Knowledge Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, pp. 471-482, 2005, Springer, 3-540-28702-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005, Proceedings, pp. 323-332, 2005, Springer, 3-540-27831-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 11(2-3), pp. 211-219, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 8th International Conference on Intelligent User Interfaces, IUI 2003, Miami, FL, USA, January 12-15, 2003, pp. 61-68, 2003, ACM, 1-58113-586-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 292-296, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002, Proceedings, pp. 17-28, 2002, Springer, 3-540-00011-9. The full citation details ...](Pics/full.jpeg) |
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. ![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. 95-106, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Reasoning about time, theorem proving, automated reasoning |
21 | B. Chandrasekaran 0001, John R. Josephson |
Function in Device Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 16(3-4), pp. 162-177, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 32(4), pp. 337-383, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings, pp. 91-100, 2000, Springer, 3-540-41044-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence Today ![In: Artificial Intelligence Today: Recent Trends and Developments, pp. 473-488, 1999, Springer, 3-540-66428-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 461-476, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 13(1), pp. 45-74, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(5), pp. 549-565, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1109-1125, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 123-172, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 23(3), pp. 353-377, 2009. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|