Search results for "meta-level reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yi Zhou, Yan Zhang	Meta Level Reasoning and Default Reasoning.	JELIA	2008	DBLP DOI BibTeX RDF
2	Felipe Rech Meneguzzi, Michael Luck	Motivations as an Abstraction of Meta-level Reasoning.	CEEMAS	2007	DBLP DOI BibTeX RDF
2	David McSherry	Mixed-initiative problem solving with decision trees.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	Meta-level reasoning, Decision trees, Coverage, Mixed-initiative interaction
2	Anita Raja, Victor R. Lesser	Meta-Level Reasoning in Deliberative Agents.	IAT	2004	DBLP DOI BibTeX RDF
2	Gary Yat Chung Wong, Andy Hon Wai Chun	Nurse Rostering Using Constraint Programming and Meta-level Reasoning.	IEA/AIE	2003	DBLP DOI BibTeX RDF
2	Yangjun Chen, Wolfgang Benn	Poster on Rule-based Technology for Schema Transformation. (PDF / PS)	CoopIS	1997	DBLP DOI BibTeX RDF	rule-based technology, local database schema, abstract database schema, data model conflicts, object-oriented schema, relational database logic, object-oriented logic, Horn-clause-like rules, meta-level reasoning, knowledge based systems, data models, object-oriented database, integrity constraints, database integration, schema transformation, relational schemas
2	Alan Bundy, Bob Welham	Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.	CADE	1980	DBLP DOI BibTeX RDF	mathematical reasoning, algebraic manipulation and meta-level reasoning, theorem proving, rewrite rules
1	Yibing Song, Yongtian Yang, Chuangang Zhu	Formalization of Capability for Command-Based Agent.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
1	Jihie Kim	Memory based meta-level reasoning for interactive knowledge capture.	AAAI Spring Symposium: Metacognition in Computation	2005	DBLP BibTeX RDF
1	Michael Wooldridge, Peter McBurney, Simon Parsons	On the meta-logic of arguments.	AAMAS	2005	DBLP DOI BibTeX RDF	meta-level reasoning, multi-agent systems, knowledge representation, argumentation
1	Zhongzhi Shi, Sulan Zhang	Case-based introspective learning.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
1	Lin Padgham, Patrick Lambrix	Formalisations of Capabilities for BDI-Agents.	Autonomous Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF	agent representation formalisms, agent theory, agent capabilities, BDI-agents
1	David N. Morley, Karen L. Myers	The SPARK Agent Framework.	AAMAS	2004	DBLP DOI BibTeX RDF
1	Jutta Eusterbrock	Context-Aware Code Certification.	ASE	2004	DBLP DOI BibTeX RDF
1	Lawrence C. Paulson	The Reflection Theorem: A Study in Meta-theoretic Reasoning.	CADE	2002	DBLP DOI BibTeX RDF
1	K. Suzanne Barber, David C. Han, Tse-Hsin Liu	Strategy Selection-Based Meta-level Reasoning for Multi-agent Problem-Solving.	AOSE	2000	DBLP DOI BibTeX RDF
1	Michel Wermelinger	Conceptual Graphs and First-Order Logic.	ICCS	1995	DBLP DOI BibTeX RDF	Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules
1	Luc Steels	Beyond Objects.	ECOOP	1994	DBLP DOI BibTeX RDF
1	Jaap Hage	Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF