|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 248 occurrences of 158 keywords
|
|
|
Results
Found 880 publication records. Showing 880 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget |
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Dino Distefano |
Attacking Large Industrial Code with Bi-abductive Inference. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Lorenzo Masia, Nestor Nava Rodriguez, Maura Casadio, Pietro G. Morasso, Giulio Sandini, Psiche Giannoni |
Adaptive Training Strategy of Distal Movements by Means of a Wrist-Robot. |
ACHI |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Shirley Gregor |
Building theory in the sciences of the artificial. |
DESRIST |
2009 |
DBLP DOI BibTeX RDF |
philosophy of technology, practical sciences, sciences of the artificial, theory, design science, philosophy of science, theory building |
12 | Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002 |
Integrating answer set programming and constraint logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70 |
12 | Koichi Koganezawa, Yasutaka Ishizuka |
Novel mechanism of artificial finger using double planetary gear system. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | G. Eliezer Quintana, Luis Enrique Sucar, Gildardo Azcárate, Ron S. Leder |
Qualification of arm gestures using hidden Markov models. |
FG |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Kiyotaka Takahashi, Aki Sugiyama, Yoshiki Shimomura, Takeshi Tateyama, Ryosuke Chiba, Masaharu Yoshioka, Hideaki Takeda 0001 |
Web-Based Knowledge Database Construction Method for Supporting Design. |
PAKM |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Analogy, Knowledge Extraction, Creative Design |
12 | Jun Wang, Haojiang Deng, Qin Yan, Jinlin Wang 0001 |
A Collaborative Model of Low-Level and High-Level Descriptors for Semantics-Based Music Information Retrieval. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Kiyotaka Takahashi, Aki Sugiyama, Yoshiki Shimomura, Takeshi Tateyama, Ryosuke Chiba, Masaharu Yoshioka, Hideaki Takeda 0001 |
Web-based knowledge database construction method for supporting design. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
ontology, analogy, knowledge extraction, creative design |
12 | Yu Zhang, Jiafan Zhang, Yi-ming Dong, Canjun Yang, Ying Chen, Jian-hua Li, Tao Wu |
A Novel 3-DOF HIP Exoskeleton for Kinematically Establishing Animal Model of Avascular Necrosis of the Femoral Head. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Maria Eunice Quilici González, Mariana Claudia Broens, Fabricio Loffredo D'Ottaviano |
Abductive Reasoning, Information, and Mechanical Systems. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ruben Carlo Benante, Leonardo Marquez Pedro, Leandro Cuenca Massaro, Valdinei Luís Belini, Aluízio F. R. Araújo, Glauco Augusto de Paula Caurin |
A self-organizing state trajectory planner applied to an anthropomorphic robot hand. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França |
Logic as Energy: A SAT-Based Approach. |
BVAI |
2007 |
DBLP DOI BibTeX RDF |
ARQ-PROP II, higher-order neural networks, propositional reasoner, satyrus, satisfiability |
12 | Adrien Revault d'Allonnes, Herman Akdag, Bernadette Bouchon-Meunier |
Selecting Implications in Fuzzy Abductive Problems. |
FOCI |
2007 |
DBLP DOI BibTeX RDF |
|
12 | William A. Pike, Richard May 0001, Alan Turner |
Supporting Knowledge Transfer through Decomposable Reasoning Artifacts. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Luís Moniz Pereira, Gonçalo Lopes |
Prospective Logic Agents. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Simon Colton, Stephen H. Muggleton |
Mathematical applications of inductive logic programming. |
Mach. Learn. |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Gary Klein, Brian M. Moon, Robert R. Hoffman |
Making Sense of Sensemaking 2: A Macrocognitive Model. |
IEEE Intell. Syst. |
2006 |
DBLP DOI BibTeX RDF |
fixation bias, confirmation bias, inference-making, frames, mental models, causal reasoning |
12 | Akinori Abe, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure |
Cooperation Between Abductive and Inductive Nursing Risk Management. |
ICDM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Akinori Abe, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure |
Relation Between Abductive and Inductive Types of Nursing Risk Management. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
Configurations for Inference Between Causal Statements. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Branislav Jaramaz, Kort Eckman |
2D/3D Registration for Measurement of Implant Alignment After Total Hip Replacement. |
MICCAI (2) |
2006 |
DBLP DOI BibTeX RDF |
hip replacement, THR, THA, mutual information, registration, radiograph |
12 | Antonis C. Kakas, Pavlos Moraitis |
Adaptive agent negotiation via argumentation. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
negotiation, argumentation |
12 | Luc De Raedt |
Statistical Relational Learning: An Inductive Logic Programming Perspective. |
PKDD |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yingxu Wang |
The cognitive processes of abstraction and formal inferences. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci |
Automated semantic web services orchestration via concept covering. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
semantic web, semantic web services, description logics, orchestration |
12 | Gerhard Brewka |
Preferences in Answer Set Programming. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Marcu, Ana-Maria Popescu |
Towards Developing Probabilistic Generative Models for Reasoning with Natural Language Representations. |
CICLing |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Argyris Arnellos, Spyros Vosinakis |
Emergence of Representational Structures in Virtual Agents. |
IVA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci |
Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hiroshi Sasaki 0004, Naohiro Ishii |
Study on the Velocity of Saccadic Eye Movements. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Lorenzo Magnani |
Chance Discovery and the Disembodiment of Mind. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Henning Christiansen 0001, Verónica Dahl |
Meaning in Context. |
CONTEXT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre |
Argumentation for Access Control. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hiroshi Kobayashi, Kazuaki Hiramatsu |
Development of Muscle Suit for Upper Limb. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Mariko Sasakura, Susumu Yamasaki |
Visualization with Hierarchically Structured Trees for an Explanation Reasoning System. |
IV |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ferenc Kahlesz, Gabriel Zachmann, Reinhard Klein |
Visual-Fidelity? Dataglove Calibration. |
Computer Graphics International |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Mary Keeler |
Using Brandom's Framework to Do Peirce's Normative Science: Pragmatism as the Game of Harmonizing Assertions? |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Liming Wang, Houkuan Huang, Yumei Chai |
Speculative Computation with Deadline and Its Resource Negotiation under Time Constraints. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Rocío Díaz de León, Luis Enrique Sucar |
A Graphical Model for Human Activity Recognition. |
CIARP |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
The PLP System. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
Computing Preferred Answer Sets in Answer Set Programming. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
SOLAR: A Consequence Finding System for Advanced Reasoning. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ken Satoh, Philippe Codognet, Hiroshi Hosobe |
Speculative Constraint Processing in Multi-agent Systems. |
PRIMA |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Simon Colton, Stephen H. Muggleton |
ILP for Mathematical Discovery. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Antonis C. Kakas, Pavlos Moraitis |
Argumentation based decision making for autonomous agents. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
agents, decision making, argumentation |
12 | Floriana Esposito, Stefano Ferilli, Nicola Fanizzi, Teresa Maria Altomare Basile, Nicola Di Mauro |
Cooperation of Multiple Strategies for Automated Learning in Complex Environments. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | James Cussens |
Issues in Learning Language in Logic. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Katsumi Inoue, Chiaki Sakama |
Disjunctive Explanations. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Henning Christiansen 0001 |
Logical Grammars Based on Constraint Handling Rules. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Henning Christiansen 0001, Verónica Dahl |
Logic Grammars for Diagnosis and Repair. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ken Satoh, Keiji Yamamoto |
Speculative computation with multi-agent belief revision. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
A Multi-adjoint Logic Approach to Abductive Reasoning. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
E-RES: Reasoning about Actions, Events and Observations. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Hendrik Decker |
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Andrea Zisman, Alexander Kozlenkov |
Knowledge Base Approach to Consistency Management of UML Specification. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
An Analysis-Revision Cycle to Evolve Requirements Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Naohiro Matsumura, Yukio Ohsawa |
Combination Retrieval for Creating Knowledge from Sparse Document Collection. |
Discovery Science |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Yun Peng |
Modeling Agent Systems by Bayesian Belief Networks. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Akihiro Yamamoto, Bertram Fronhöfer |
Hypotheses Finding via Residue Hypotheses with the Resolution Principle. |
ALT |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Takahisa Ando, Takao Uehara |
Reasoning by Agents in Computer Bridge Bidding. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
Computer bridge, Imperfect information game, Agent, Constraint logic programming, Bidding, Hypothetical reasoning |
12 | Nikolay Pelov, Maurice Bruynooghe |
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Saso Dzeroski, James Cussens, Suresh Manandhar |
An Introduction to Inductive Logic Programming and Learning Language in Logic. |
Learning Language in Logic |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh, Sam Waugh |
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering. |
RE |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni |
An Implementation for Abductive Logic Agents. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Hendrik Decker |
Some Notes on Knowledge Assimilation in Deductive Databases. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker |
Detecting Unsolvable Queries for Definite Logic Programs. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Alex Kean |
A Characterization of Contrastive Explanations Computation. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi |
Learning Multiple Predicates. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Chandrabose Aravindan |
An Abductive Framework for Negation in Disjunctive Logic Programming. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Raúl Monroy, Alan Bundy, Andrew Ireland |
Proof Plans for the Correction of False Conjectures. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Gabriele Paul |
Approaches to abductive reasoning: an overview. |
Artif. Intell. Rev. |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Stephen H. Muggleton |
Inductive Logic Programming: Derivations, Successes and Shortcomings. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Peter Jackson |
Computing Prime Implicates. |
ACM Conference on Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #801 - #880 of 880 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|