Linear Logic
PP 2010 05: Modelling Combinatorial Auctions in Linear Logic
... of linear logic (LL). LL is a resource-sensitive logic: to prove a con- clusion from a set of premises, each premise can be used at most once (Girard 1987; ...
8
Modal Linear Logic in Higher Order Logic, an experiment in Coq
... modal linear logic using the Coq proof assistant. The logic has been developed in [10] by adding KDT 4 type modalities to classical linear logic ...to linear logic on top ...
19
Encoding of Planning Problems and Their Optimizations in Linear Logic
... in Linear Logic, there is a possibility of encoding of planning problems in Linear ...ear Logic and a problem of plan generation can be reduced to a problem of finding a proof in linear ...
17
Abstract Categorial Parsing as Linear Logic Programming
... 4 Development of the parsing algorithm In this section, we develop a parsing algorithm based on proof-search in the implicative fragment of linear logic. We start with a simple non-deterministic algo- ...
11
MoL 2015 28: Investigations into Linear Logic with Fixed Point Operators
... modal linear logics without fixed point ...e.g. linear logic with fixed point operators is not easy, and the author was not able to come up with such a proof so ...
144
Efficient Linear Logic Meaning Assembly
... Efficient Linear Logic Meaning Assembly E f f i c i e n t L i n e a r L o g i c M e a n i n g A s s e m b l y V i n e e t G u p t a C a e l u m R e s e a r c h C o r p o r a t i o n N A S A A m e s R[.] ...
7
Plans, Actions and Dialogues using Linear Logic
... Lucas Dixon Plans, Actions and Dialogues using Linear Logic 13 Dec 2007.[r] ...
21
Reasoning about Knowledge in Linear Logic: Modalities and Complexity
... epistemic logic, applications in the domain of cognitive science or artificial ...epistemic logic, because of applications to cognitive ...in linear logic, such as the Bounded Linear ...
24
PP 2010 15: Modelling Multilateral Negotiation in Linear Logic
... Abstract. We show how to embed a framework for multilateral ne- gotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In ...
6
Higher order Linear Logic Programming of Categorial Deduction
... Moortgat, Michael and Glyn Morrill: 1991, 'Ileads and Phrases: Type Calculus for Depen- dency and Constituent Structure', to appear in Journal of Language, Logic, and Information... Moor[r] ...
8
Logic Programming From the Point of View of Type Theory and Predicate Linear Logic
... when creating a logic program, a scheme of system axiom (or set of formulas) is defined. It specifies the class of tasks that the programmer solves. Also, target orders are formulated for a specific task which ...
5
Efficient Linear Logic Meaning Assembly
... For the glue analyses we are aware of, this definition identifies exactly one positive and one negative skeleton occurrence of each type among all the contributions for a sentence.. Effi[r] ...
7
Ultra-Fast All-Optical Logic Circuit With The Massive Use of Non-Linear Material
... optical logic operation scheme. A single bit logic unit has been accessed first and is elevated to a higher bit logic unit in ...innumerable logic operations and remarkably, they are ...
12
Parametric Linear Dynamic Logic
... A second drawback of classic temporal logics like LTL is the inability to natively express timing constraints. The standard semantics are unable to enforce the fulfillment of eventualities within finite time bounds, ...
14
Markov Logic Networks for Text Mining: A Qualitative and Empirical Comparison with Integer Linear Programming
... the linear constraints are dependent on the variables, a dif- ferent objective function and a different set of linear con- straints have to be created for each problem ...
8
Investigating a Zero One law for Linear Temporal Logic statements in large random graphs
... order logic statement holds will either tend to zero or to ...order logic statements are of the form `Is the graph connected?' or `Is there a triangle in the ...order logic can be found in the ...
27
Comparison Linear And Nonlinear Model For Fuzzy Logic Controller Design Of A Cruise Control System
... Lots of time will be spent in practicing programming skills by using MATLAB 7.0 on how to implement and design a fuzzy logic controller for both cruise control system models. Note that, higher performance of ...
24
Interval type 2 intuitionistic fuzzy logic system for non linear system prediction
... are tuned using GDA. The results in Table III show that the IT2IFLS outperforms both forms of T2FLSs. Our approach is also compared with three evolving T2FLSs namely, self evolving interval type-2 fuzzy neural network ...
6
Probability analysis of linear time logic statements on infinite walks in large random Kripke structures
... Now all the basic Linear Time Logic statements have been covered both us- ing the random vertex colouring and the deterministic colouring. The results are summarised in table 1. The most striking difference ...
18