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