Search results for "Meta-reasoning"

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