Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 papers from all fields of science
Search
Sign In
Create Free Account
Logical framework
Known as:
Edinburgh Logical Framework
, Framework
, Lf
Expand
In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Automated theorem proving
Automath
Cayenne (programming language)
First-order logic
Expand
Broader (2)
Logic in computer science
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Fortalecimiento del Sistema de Gestión de Seguridad y Salud en el Trabajo en el Ámbito Psicosocial desde la Perspectiva del Marco Lógico
Diego Andrés Rivera Porras
,
Sandra Milena Carrillo Sierra
,
Jesús Oreste Forgiony Santos
,
Nidia Johanna Bonilla Cruz
,
Yurley Karime Hernández Peña
,
G. Monsalve
2018
Corpus ID: 187078592
2014
2014
Syntax and Semantics of Linear Dependent Types
Matthijs Vákár
arXiv.org
2014
Corpus ID: 18950651
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both…
Expand
Highly Cited
2005
Highly Cited
2005
A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation
Leen-Kiat Soh
,
C. Tsatsoulis
Autonomous Agents and Multi-Agent Systems
2005
Corpus ID: 11003371
This paper describes a negotiation model that incorporates real-time issues for autonomous agents. This model consists of two…
Expand
2005
2005
AUTOMATIC DESIGN OF DETECTION TESTS IN COMPLEX DYNAMIC SYSTEMS
S. Ploix
,
Matthieu Desinde
,
Samir Touaf
2005
Corpus ID: 9958593
Abstract In complex industrial plants, there are usually lots of sensors and the modelling of the plant leads to lots of…
Expand
1997
1997
Static semantic analysis and theorem proving for CASL
Till Mossakowski
,
Kolyang
,
B. Krieg-Brückner
Workshop on Recent Trends in Algebraic…
1997
Corpus ID: 2996695
This paper presents a static semantic analysis for CASL, the Common Algebraic Specification Language. Abstract syntax trees are…
Expand
1993
1993
A New Logical framework for Deductive Planning
W. Stephan
,
Susanne Biundo-Stephan
International Joint Conference on Artificial…
1993
Corpus ID: 3080702
In this paper we present a logical framework for defining consistent axiomatizations of planning domains. A language to define…
Expand
1992
1992
A logical framework for design processes
Jan Treur
1992
Corpus ID: 59974772
Designing often involves rather complex processes of reasoning. For building knowledge-based systems for designing, a detailed…
Expand
Highly Cited
1991
Highly Cited
1991
Abductive reasoning networks
G. J. Montgomery
,
K. Drake
Neurocomputing
1991
Corpus ID: 41390788
1988
1988
The Logical framework in research planning and evaluation
D. McLean
1988
Corpus ID: 112620330
The ISNAR working papers series is a flexible instrument for sharing analysis and information about relevant organization and…
Expand
Review
1988
Review
1988
DLT - An Industrial R & D Project for Multilingual MT
Toon Witkam
International Conference on Computational…
1988
Corpus ID: 14635744
An overview of the DLT (Distributed Language Translation) project is given. This project is aimed at a new, multilingual MT…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE