Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,601,317 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
2012
2012
Management of Change in Declarative Languages
Mihnea Iancu
,
Florian Rabe
AISC/MKM/Calculemus
2012
Corpus ID: 26872676
Due to the high degree of interconnectedness of formal mathematical statements and theories, human authors often have…
Expand
2008
2008
Towards Creation of Logical Framework for Event-Driven Information Systems
Darko Anicic
,
N. Stojanović
International Conference on Enterprise…
2008
Corpus ID: 46399394
Event-Condition-Action (ECA) rules offer extensible and flexible approach to realizing active Enterprise Information Systems…
Expand
2006
2006
Innovation management using logical framework in hospital-based healthcare units
S. Hariharan
,
Deryk R Chen
,
P. Dey
2006
Corpus ID: 62661004
Innovation is part and parcel of any service in today's environment, so as to remain competitive. Quality improvement in…
Expand
2003
2003
A Defeasible Logic of Institutional Agency
Guido Governatori
,
A. Rotolo
International Joint Conference on Artificial…
2003
Corpus ID: 277139
A non-monotonic logic of institutional agency is defined combining a computationally oriented non-monotonic system (Defeasible…
Expand
1996
1996
Belief Coordination by Default
Y. Katagiri
1996
Corpus ID: 15604332
Use of confirmations in dialogue is mundane and ubiquitous, but theoretically it has been a puzzle how confirmations serve their…
Expand
1996
1996
A Logical Framework for Active Rules
Bertram Ludäscher
,
U. Hamann
,
G. Lausen
International Conference on Management of Data
1996
Corpus ID: 5270158
We present a state-oriented extension to Datalog called {\em Statelog\/} which comprises two kinds of rules within a simple, yet…
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
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
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