|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 313 occurrences of 263 keywords
|
|
|
Results
Found 556 publication records. Showing 556 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Anita Raja, Victor R. Lesser |
A framework for meta-level control in multi-agent systems. |
Auton. Agents Multi Agent Syst. |
2007 |
DBLP DOI BibTeX RDF |
Meta-level control architecture, Multi-agent systems, Bounded rationality |
58 | Clemens Beckstein, Peter Dittrich, Christian Erfurth, Dietmar Fey, Birgitta König-Ries, Martin Mundhenk, Harald Sack |
SOGOS - A Distributed Meta Level Architecture for the Self-Organizing Grid of Services. |
MDM |
2006 |
DBLP DOI BibTeX RDF |
Meta Level Architecture, Trust, Mobile Agents, Planning, Self-Organization, System Dynamics, Semantic Services, Adaptive Grid |
49 | 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 |
48 | Daniela Pereira Alves, Li Weigang 0001, Bueno Borges de Souza |
Using Meta-Level Control with Reinforcement Learning to Improve the Performance of the Agents. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
Air Traffic Flow Management, Meta-Level Control, Reinforcement learning |
41 | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 |
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism |
40 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of Meta-variables. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Shohei Yamane, Toru Ishida 0001 |
Meta-level control architecture for massively multiagent simulations. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
39 | 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 |
39 | Michael Golm, Jürgen Kleinöder |
Jumping to the Meta Level: Behavioral Reflection Can Be Fast and Flexible. |
Reflection |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Bert Robben, Bart Vanhaute, Wouter Joosen, Pierre Verbaeten |
Non-functional Policies. |
Reflection |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Leon Sterling, Alan Bundy |
Meta-Level Inference and Program Verification. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
meta-level inference, logic programming, program verification |
36 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of meta-variables. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
meta-variable, context, ?-calculus, logical framework |
36 | Anne Håkansson, Ronald L. Hartung |
Calculating Optimal Decision Using Meta-level Agents for Multi-Agents in Networks. |
KES (1) |
2007 |
DBLP DOI BibTeX RDF |
Multi-Agent Systems, Intelligent Agents, Undirected Graphs, Meta-Agents |
35 | Marcus Denker, Mathieu Suen, Stéphane Ducasse |
The Meta in Meta-object Architectures. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Walter Cazzola, Ahmed Ghoneim, Gunter Saake |
Software Evolution through Dynamic Adaptation of Its OO Desgin. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
Consistency Validation, UML, Reflection, Software Evolution, Dynamic Reconfiguration, XMI |
33 | Yi Zhou 0013, Yan Zhang 0003 |
Meta Level Reasoning and Default Reasoning. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Hideaki Okamura, Yutaka Ishikawa |
Object Location Control Using Meta-level Programming. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Heinrich Herre, Frank Loebe |
A Meta-ontological Architecture for Foundational Ontologies. |
OTM Conferences (2) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Michail Maniadakis, Jun Tani |
Dynamical Systems Account for Meta-level Cognition. |
SAB |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Juan de Lara, Hans Vangheluwe |
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi |
A Reflective Language Based on Conditional Term Rewriting. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Sven-Bodo Scholz |
On defining application-specific high-level array operations by means of shape-invariant programming facilities. |
APL |
1998 |
DBLP DOI BibTeX RDF |
high-level array operations, meta-level programming, shape-invariant programming, compilation, performance comparison |
28 | Gilad Bracha, David M. Ungar |
Mirrors: design principles for meta-level facilities of object-oriented programming languages. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
java, reflection, smalltalk, metaprogramming, mirrors, self |
28 | Hans Vangheluwe, Juan de Lara |
XML-based modeling and simulation: meta-models are models too. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Hidenao Abe, Takahira Yamaguchi |
Constructive Meta-level Feature Selection Method Based on Method Repositories. |
PAKDD |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Orlando Loques, Julius C. B. Leite, Marcelo Lobosco, Alexandre Sztajnberg |
On the Integration of Configuration and Meta-level Programming Approaches. |
Reflection and Software Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Andrea Omicini, Antonio Natali |
Object-Oriented Computations in Logic Programming. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
Integration of object-oriented and logic paradigms, state configuration, partially configured instances, meta-level constraints, abduction |
27 | Toru Ishida 0001, Yutaka Sasaki, Keiko Nakata 0002, Yoshimi Fukuhara |
A Meta-Level Control Architecture for Production Systems. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
meta-level control, Expert system, problem solving, production system, production rule |
26 | Felipe Rech Meneguzzi, Michael Luck |
Motivations as an Abstraction of Meta-level Reasoning. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Alex Villazón, Jarle Hulaas |
Active Network Service Management Based on Meta-level Architectures. |
Reflection and Software Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Jeff McAffer |
Meta-level Programming with CodA. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser |
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alexander K. Seewald, Johannes Fürnkranz |
An Evaluation of Grading Classifiers. |
IDA |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Maurice Hendrix, Alexandra I. Cristea |
Reuse Patterns in Adaptation Languages: Creating a Meta-level for the LAG Adaptation Language. |
AH |
2008 |
DBLP DOI BibTeX RDF |
AHA!, Adaptation Engine, Adaptive Hypermedia, LAG |
24 | Krzysztof Grabczewski, Norbert Jankowski |
Versatile and Efficient Meta-Learning Architecture: Knowledge Representation and Management in Computational Intelligence. |
CIDM |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Jun Won Lee, Christophe G. Giraud-Carrier |
Predicting Algorithm Accuracy with a Small Set of Effective Meta-Features. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel |
Weaving Executability into Object-Oriented Meta-languages. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jihie Kim |
Meta-level patterns for interactive knowledge capture. |
K-CAP |
2005 |
DBLP DOI BibTeX RDF |
knowledge acquisition |
23 | Bernard Zenko, Saso Dzeroski |
Stacking with an Extended Set of Meta-level Attributes and MLR. |
ECML |
2002 |
DBLP DOI BibTeX RDF |
|
23 | P. L. Tan, Tharam S. Dillon, John Zeleznikow |
Representing Exceptions in Rule-Based Systems. |
Australian Joint Conference on Artificial Intelligence |
1988 |
DBLP DOI BibTeX RDF |
object-level rules, meta-level rules, rule model, exceptions |
22 | Jutta Eusterbrock |
Context-Aware Code Certification. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Anita Raja, Victor R. Lesser |
Meta-Level Reasoning in Deliberative Agents. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Gary Yat Chung Wong, Andy Hon Wai Chun |
Nurse Rostering Using Constraint Programming and Meta-level Reasoning. |
IEA/AIE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Anita Raja, Victor R. Lesser |
Efficient meta-level control in bounded-rational agents. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
rational agency, agent architectures, action selection and planning |
22 | Zhiqiang Gao, Tomoyuki Kawasoe, Akishige Yamamoto, Toru Ishida 0001 |
Meta-level Architecture for Executing Multi-agent Scenarios. |
PRIMA |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Ian Welch, Robert J. Stroud, Alexander B. Romanovsky |
Aspects of Exceptions at the Meta-level. |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Shigeru Chiba, Takashi Masuda |
Designing an Extensible Distributed Language with a Meta-Level Architecture. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
22 | Chris Scrapper, Stephen Balakirsky, Elena Messina |
self awareness in the mobility open architecture simulation and tools framework. |
CIKM-KRAS |
2005 |
DBLP DOI BibTeX RDF |
meta-level, simulation, mobile robots, multi-agent, knowledge, self awareness |
22 | Didar Zowghi, Ray Offen |
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements. |
RE |
1997 |
DBLP DOI BibTeX RDF |
meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution |
22 | Yangjun Chen, Wolfgang Benn |
Poster on Rule-based Technology for Schema Transformation. |
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 |
22 | Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra |
MULTIGRAPH: an architecture for model-integrated computing. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
Multigraph Architecture, complex embedded systems, meta-level architecture, domain specific model integrated program synthesis environments, application specific model interpreters, executable programs synthesis, real-time systems, programming environments, computer architecture, program interpreters, model-integrated computing, integrated modeling, MULTIGRAPH, model analysis |
21 | Peter Klügl, Martin Atzmueller, Frank Puppe |
Meta-level Information Extraction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
21 | 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 |
20 | Gregor Stiglic, Peter Kokol |
Effectiveness of Rotation Forest in Meta-learning Based Gene Expression Classification. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Alexei V. Samsonovich, Kenneth A. De Jong |
Pricing the 'free lunch' of meta-evolution. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
metaevolution, price's theorem, self-adaptive EAs, co-evolution, evolvability |
19 | Dániel Varró |
Automated formal verification of visual modeling languages by model checking. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, Model transformation, Metamodeling, Graph transformation |
19 | Ken Kaneiwa, Philip H. P. Nguyen |
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Anne Håkansson, Ronald L. Hartung |
An Approach to Event-Driven Algorithm for Intelligent Agents in Multi-agent Systems. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
Event-driven algorithm, Algorithms, Multi-agent systems, Networks, Graphs, Intelligent agents, Meta-agents |
19 | Kenji Doya |
Designing the Reward System: Computational and Biological Principles. |
FOCI |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Liviu Badea |
Clustering and Metaclustering with Nonnegative Matrix Decompositions. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Gabriel Ciobanu, Dorel Lucanu |
Cellular Meta-programming over Membranes. |
UPP |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Naoki Ishibashi, Yasushi Kiyoki |
Meta-Chronicle: A Spatial and Temporal Multidatabase System and Its Application to Histories. |
SAINT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Florida Estrella, Zsolt Kovacs 0001, Jean-Marie Le Goff, Richard McClatchey, Tony Solomonides, Norbert Toth |
Pattern reification as the basis for description-driven systems. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
UML, Design patterns, Reflection, Meta-models, System description |
19 | Alex Villazón |
A Reflective Active Network Node. |
IWAN |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Zhiyong He, Kerong Ben, Zhixiang Zhang |
Software Architectural Reflection Mechanism for Runtime Adaptation. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | George G. Mitchell, Barry McMullin, James Decraene |
A cost benefit operator for efficient multi level genetic algorithm searches. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Bernd Fischer 0002, Eelco Visser |
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Wayne Robbins, Nicolas D. Georganas |
Reflective Media Space Management Using RASCAL. |
Reflection |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Charles Riou, Pierre Alquier, Badr-Eddine Chérief-Abdellatif |
Bayes meets Bernstein at the Meta Level: an Analysis of Fast Rates in Meta-Learning with PAC-Bayes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ha Thi Thu Doan, Kazuhiro Ogata 0001, François Bonnet 0001 |
Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. |
ICDCS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem |
Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. |
SNPD (revised selected papers) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Shi Ying, ZaoQing Liang, JunLi Wang, FuDi Wang |
A Reflection Mechanism for Reusing Software Architecture. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Denis Caromel, Fabrice Huet, Julien Vayssière |
A Simple Security-Aware MOP for Java. |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Siddharth Gopal, Yiming Yang |
Multilabel classification with meta-level features. |
SIGIR |
2010 |
DBLP DOI BibTeX RDF |
learning to rank, multi-label classification, comparative evaluation, model design |
17 | Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß |
Case Studies in Meta-Level Theorem Proving. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Stan Jarzabek |
Software Reuse beyond Components with XVCL (Tutorial). |
GTTSE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Soo-Joong Ghim, Yong-Ik Yoon 0001, Jong-Won Choe |
A Reflective Approach to Dynamic Adaptation in Ubiquitous Computing Environment. |
ICOIN |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Denis Caromel, Julien Vayssière |
Reflections on MOPs, Components, and Java Security. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Colin Atkinson 0001, Thomas Kühne 0001 |
Strict Profiles: Why and How. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Markus Zanker |
A collaborative constraint-based meta-level recommender. |
RecSys |
2008 |
DBLP DOI BibTeX RDF |
hybrid recommendation approaches, collaborative filtering, knowledge-based recommendation |
16 | Ernest Lumanpauw, Michel Pasquier, Richard Jayadi Oentaryo |
Generic GA-based meta-level parameter optimization for pattern recognition systems. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoqin Zhang 0001, Victor R. Lesser |
Meta-level coordination for solving negotiation chains in semi-cooperative multi-agent systems. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
multi-linked negotiation, negotiation chain, flexibility |
16 | Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur |
A Meta-level Architecture for Strategic Reasoning in Naval Planning. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Youssef Hassoun, Roger Johnson, Steve Counsell |
A Dynamic Runtime Coupling Metric for Meta-Level Architectures. |
CSMR |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Yusuke Takahashi, Yasushi Kiyoki |
A Meta-Level Career-Design Support System for Connecting Educational and Occupational Databases. |
SAINT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
16 | David J. Caswell, Gary B. Lamont |
Multiobjective Meta Level Optimization of a Load Balancing Evolutionary Algorithm. |
EMO |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Alex Villazón, Jarle Hulaas |
Meta-level management of active network nodes and services. |
NOMS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Walter Cazzola, Shigeru Chiba, Thomas Ledoux |
Reflection and Meta-level Architectures: State of the Art and Future Trends. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Petr Tuma 0001, Valérie Issarny, Apostolos V. Zarras |
Towards Systematic Synthesis of Reflective Middleware. |
Reflection |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Shlomo Zilberstein |
Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Shigeichiro Yamasaki |
A Trust Rating Method for Information Providers over the Social Web Service: A Pragmatic Protocol for Trust among Information Explorers and Information Providers. |
SAINT |
2011 |
DBLP DOI BibTeX RDF |
meta-level communication protocol, Google Page Rank, Privacy, Trust, Ranking, Persona, Social Web, Information Cascading |
16 | Andrew Cain, Tsong Yueh Chen, Doug D. Grant, Fei-Ching Kuo, Jean-Guy Schneider |
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis |
16 | Michael J. 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 |
16 | Andrew Arnt, Shlomo Zilberstein, James Allan, Abdel-Illah Mouaddib |
Dynamic Composition of Information Retrieval Techniques. |
J. Intell. Inf. Syst. |
2004 |
DBLP DOI BibTeX RDF |
progressive processing, meta-level control, information retrieval, opportunity cost |
16 | Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano |
Dynamic coordination architecture through the use of reflection. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
PiLar, MARMOL, meta-level connector, dynamic architecture |
16 | Noriki Amano, Takuo Watanabe |
LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
adaptable procedures, meta-level architecture and object-oriented language, reflection, software adaptation |
16 | 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 |
16 | Roberto Maiocchi, Barbara Pernici, Federico Barbic |
Automatic Deduction of Temporal Information. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions |
16 | Bernard Silver |
The Application of Homogenization to Simultaneous Equations. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
simultaneous equations, meta level inference, algebraic manipulation, mathematical reasoning, equation solving-rewrite rules, Homogenization |
Displaying result #1 - #100 of 556 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|