The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Meta-reasoning (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1995 (15) 1997-2004 (16) 2005-2006 (16) 2007-2013 (16) 2016-2023 (17) 2024 (2)
Publication types (Num. hits)
article(13) inproceedings(68) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(6) IJCAI(4) CEEMAS(3) TPHOLs(3) AAMAS(2) ECAI(2) ISMIS(2) Web Intelligence(2) ACL2(1) AIIDE(1) AIMSA(1) AIS-ADM(1) AOIS(1) Appl. Intell.(1) CAEPIA(1) Canadian AI(1) More (+10 of total 65)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 18 keywords

Results
Found 82 publication records. Showing 82 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
55Michal Pechoucek, Olga Stepánková, Vladimír Marík, Jaroslav Barta Abstract Architecture for Meta-reasoning in Multi-agent Systems. Search on Bibsonomy CEEMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Manish Mehta 0001, Santiago Ontañón, Ashwin Ram 0001 Using Meta-reasoning to Improve the Performance of Case-Based Planning. Search on Bibsonomy ICCBR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Jan Tozicka, Jaroslav Barta, Michal Pechoucek Meta-reasoning for Agents' Private Knowledge Detection. Search on Bibsonomy CIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Ockmer L. Oosthuizen, E. M. Ehlers AgentAssembly: The Agent Framework Platform. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF frameworks and toolkits meta-modeling and meta reasoning, Agent programming languages
38Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith Meta Reasoning in ACL2. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Amy P. Felty Two-Level Meta-reasoning in Coq. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Mark 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 AOIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Meta-reasoning, intelligent agent systems, planning
32Douglas DeCarlo Towards Real-Time Cue Integration by Using Partial Results. Search on Bibsonomy ECCV (4) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF meta-reasoning, real-time vision, Cue integration
28Michal Pechoucek, Jan Tozicka, Vladimír Marík Meta-reasoning Methods for Agent's Intention Modelling. Search on Bibsonomy AIS-ADM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Stefania Costantini Meta-reasoning: A Survey. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes, Agustín Espinosa, Vicente J. Botti A Meta-Reasoning Model for Hard Real-Time Agents. Search on Bibsonomy CAEPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Felipe Rech Meneguzzi, Michael Luck Motivations as an Abstraction of Meta-level Reasoning. Search on Bibsonomy CEEMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Jan Tozicka, Filip Zelezný, Michal Pechoucek Modelling of Agents' Behavior with Semi-collaborative Meta-agents. Search on Bibsonomy CEEMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Robert Levinson, Jeff Wilkinson Meta-Reasoning for Data Analysis Tool Allocation. Search on Bibsonomy IDA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Matt Kaufmann, Sol Swords Meta-extract: Using Existing Facts in Meta-reasoning. Search on Bibsonomy ACL2 The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Robert E. Filman, John Lamping, Fanya S. Montalvo Meta-Knowledge and Meta-Reasoning. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
19Richard Dapoigny, Patrick Barlatier Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. Search on Bibsonomy ISMIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Nophadol Jekjantuk, Jeff Z. Pan, Panos Alexopoulos Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies. Search on Bibsonomy ICSC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17James D. Jones, Susanna Badiola, Daley Seeker A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems. Search on Bibsonomy CONFENIS (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
17Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf Reasoning about reasoning in a meta-level architecture. Search on Bibsonomy Appl. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF knowledge about knowledge, reasoning about reasoning, meta reasoning, multi-agent interaction, Knowledge representation
17Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Virginia Dignum Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms. Search on Bibsonomy COIN@AAMAS&AAAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Jan Tozicka, Michael Rovatsos, Michal Pechoucek A framework for agent-based distributed machine learning and data mining. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed machine learning, frameworks and architectures, multiagent learning, unsupervised clustering
15Yan Radovilsky, Solomon Eyal Shimony Generalized model for rational game tree search. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Venanzio Capretta, Amy P. Felty Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Haya Majid Qureshi, Wolfgang Faber 0001 Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
13Haya Majid Qureshi, Wolfgang Faber 0001 Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
13Mozhgan Navardi, Edward Humes, Tejaswini Manjunath, Tinoosh Mohsenin MetaE2RL: Toward Meta-Reasoning for Energy-Efficient Multigoal Reinforcement Learning With Squeezed-Edge You Only Look Once. Search on Bibsonomy IEEE Micro The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Yiming Wang, Zhuosheng Zhang 0001, Rui Wang 0015 Meta-Reasoning: Semantics-Symbol Deconstruction For Large Language Models. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Ori Yoran, Tomer Wolfson, Ben Bogin, Uri Katz, Daniel Deutch, Jonathan Berant Answering Questions by Meta-Reasoning over Multiple Chains of Thought. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Haya Majid Qureshi, Wolfgang Faber 0001 Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. Search on Bibsonomy PADL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Shivam Vats, Maxim Likhachev, Oliver Kroemer Efficient Recovery Learning using Model Predictive Meta-Reasoning. Search on Bibsonomy ICRA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Ori Yoran, Tomer Wolfson, Ben Bogin, Uri Katz, Daniel Deutch, Jonathan Berant Answering Questions by Meta-Reasoning over Multiple Chains of Thought. Search on Bibsonomy EMNLP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Haya Majid Qureshi, Wolfgang Faber 0001 Meta-reasoning over OWL 2 QL using Datalog. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
13Yoonchang Sung, Leslie Pack Kaelbling, Tomás Lozano-Pérez Learning When to Quit: Meta-Reasoning for Motion Planning. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
13Yoonchang Sung, Leslie Pack Kaelbling, Tomás Lozano-Pérez Learning When to Quit: Meta-Reasoning for Motion Planning. Search on Bibsonomy IROS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Haya Majid Qureshi, Wolfgang Faber 0001 An Evaluation of Meta-reasoning over OWL 2 QL. Search on Bibsonomy RuleML+RR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen A Case Study in Computer-Assisted Meta-reasoning. Search on Bibsonomy DCAI (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Priyam Parashar Using Meta-reasoning for Failure Detection and Recovery in Assembly Domain. Search on Bibsonomy 2021   RDF
13Mats Danielson, Love Ekenberg Meta-Reasoning about Decisions in Autonomous Semi-Intelligent Systems. Search on Bibsonomy ISMSI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Yuan-Fang Li, Yong-Bin Kang Towards Meta-Reasoning for Ontologies: A Roadmap. Search on Bibsonomy ECAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Hong Wang 0023, Wenhan Xiong, Mo Yu, Xiaoxiao Guo, Shiyu Chang, William Yang Wang Meta Reasoning over Knowledge Graphs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
13Kathryn Blackmond Laskey Bayesian Meta-Reasoning: Determining Model Adequacy from Within a Small World Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
13Iliano Cervesato, Jorge Luis Sacchini Towards Meta-Reasoning in the Concurrent Logical Framework CLF. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Lee Dee Miller, Leen-Kiat Soh Meta-Reasoning Algorithm for Improving Analysis of Student Interactions with Learning Objects using Supervised Learning. Search on Bibsonomy EDM The full citation details ... 2013 DBLP  BibTeX  RDF
13Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur Agent-based analysis and simulation of meta-reasoning processes in strategic naval planning. Search on Bibsonomy Knowl. Based Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Wolfgang Faber 0001, Stefan Woltran Manifold Answer-Set Programs for Meta-reasoning. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Patrick Ulam, Joshua Jones, Ashok K. Goel 0001 Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents. Search on Bibsonomy AIIDE The full citation details ... 2008 DBLP  BibTeX  RDF
13Carlos Eduardo Bognar, Osamu Saotome A Method for Bayesian Meta-Reasoning Applied to Real-Time Systems Using Multiple Characterization. Search on Bibsonomy ISDA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
13Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey A computational approach to reflective meta-reasoning about languages with bindings. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
13James J. Lu, Jeffrey S. Rosenthal, Andrew E. Shaffer A case study in the meta-reasoning procedure ND. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Alberto Momigliano, Simon Ambler Multi-level Meta-reasoning with Higher-Order Abstract Syntax. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Donovan Artz, Maxim Peysakhov, William C. Regli Network Meta-Reasoning for Information Assurance in Mobile Agent Systems. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
13Klemens Schnattinger, Udo Hahn, Manfred Klenner Terminological Meta-Reasoning by Reification and Multiple Contexts. Search on Bibsonomy EPIA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
13Kathryn B. Laskey Bayesian Meta-Reasoning: Determining Model Adequacy from within a Small World. Search on Bibsonomy UAI The full citation details ... 1992 DBLP  BibTeX  RDF
13Daniel Kuokka MAX: A Meta-Reasoning Architecture for "X". Search on Bibsonomy SIGART Bull. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
13Abdul Sattar 0001, Randy Goebel Meta-reasoning: An Incremental Compilation Approach. Search on Bibsonomy ICDE The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
13Howard Barringer, Michael Fisher 0001, Dov M. Gabbay, Anthony Hunter Meta-Reasoning in Executable Temporal Logic. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
13Gernot Salzer Deductive Generalization and Meta-Reasoning or How to Formalize Genesis. Search on Bibsonomy ÖGAI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
13Stuart Russell 0001, Eric Wefald On Optimal Game-Tree Search using Rational Meta-Reasoning. Search on Bibsonomy IJCAI The full citation details ... 1989 DBLP  BibTeX  RDF
13Maurizio Lenzerini, Daniele Nardi Belief Revision as Meta-Reasoning. Search on Bibsonomy ECAI The full citation details ... 1988 DBLP  BibTeX  RDF
13Anthony S. Maida A Uniform Architecture for Rule-based Meta Reasoning and Representation. Search on Bibsonomy ISMIS The full citation details ... 1987 DBLP  BibTeX  RDF
13Gerhard Lakemeyer Tractable Meta-Reasoning in Propositional Logics of Belief. Search on Bibsonomy IJCAI The full citation details ... 1987 DBLP  BibTeX  RDF
13A. S. Maida A uniform architecture for rule-based meta-reasoning and representation: a case study. Search on Bibsonomy FJCC The full citation details ... 1987 DBLP  BibTeX  RDF
13Claudio Arbib, Gianna Cioni Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. Search on Bibsonomy AIMSA The full citation details ... 1986 DBLP  BibTeX  RDF
12Jingfang Zheng, Michael C. Horsch A Decision Theoretic Meta-reasoner for Constraint Optimization. Search on Bibsonomy Canadian AI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Richard Dapoigny, Patrick Barlatier Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. Search on Bibsonomy ER The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11Pablo Sáez Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. Search on Bibsonomy MICAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Andreas Meier 0002, Erica Melis Impasse-Driven Reasoning in Proof Planning. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Vladimír Marík, Michal Pechoucek, Olga Stepánková Social Knowledge in Multi-agent Systems. Search on Bibsonomy EASSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
7Salvatore Ruggieri, Fred Mesnard Variable ranges in linear constraints. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parameterized polyhedra, interval arithmetic, constraint logic programming, linear constraints
7Sandip Aine, P. P. Chakrabarti 0001, Rajeev Kumar 0004 An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
7Deepak Garg 0001, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter A Linear Logic of Authorization and Knowledge. Search on Bibsonomy ESORICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang 0001 Forgetting in Managing Rules and Ontologies. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Sandip Aine, P. P. Chakrabarti 0001, Rajeev Kumar 0004 Improving the Performance of CAD Optimization Algorithms Using On-Line Meta-Level Control. Search on Bibsonomy VLSI Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Penny Anderson, Frank Pfenning Verifying Uniqueness in a Logical Framework. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7N. Badr, A. Taleb-Bendiab, Denis Reilly 0001 Policy-Based Autonomic Control Service. Search on Bibsonomy POLICY The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7Juan Jim Tan, Stefan Poslad, Yanmin Xi Policy Driven Systems for Dynamic Security Reconfiguration. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7Khemdut Purang Alma/Carne: Implementation of a Time-Situated Meta-Reasoner. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
7Vladimír Marík, Olga Stepánková, Michal Pechoucek Acquaintance Models for Integration-oriented Multi-agent Systems. Search on Bibsonomy SCCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
7Paul Y. Gloess U-Log, An Ordered Sorted Logic with Typed Attributes. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #82 of 82 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license