Linear logic as a tool for planning under temporal uncertainty. (English) Zbl 1222.68382
Reviewer: Éric Martin (Sydney)
Found 21 Documents (Results 1–21)
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). (English) Zbl 1118.68157
Coping polynomially with numerous but identical elements within planning problems. (English) Zbl 1116.68593
Baaz, Matthias (ed.) et al., Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40801-0/pbk). Lect. Notes Comput. Sci. 2803, 285-298 (2003).
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. (English) Zbl 0994.68139
Tree adjoining grammars in noncommutative linear logic. (English) Zbl 0889.03028
Retoré, Christian (ed.), Logical aspects of computational linguistics. 1st international conference, LACL ’96, Nancy, France, September 23–25, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1328, 96-117 (1997).
Ordinals. II: Some applications and a functorial approach. (English) Zbl 0860.68097
MSC:
68T15
03E10
Ordinals. I: Basic notions. (English) Zbl 0860.68094
MSC:
68T15
03E10
Linear logic for taxonomical networks and database updates. (Preliminary report). (English) Zbl 0909.68060
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 14 p. (1996).
MSC:
68P15
Inheritance with exceptions: An attempt at formalization with linear connectives in unified logic. (English) Zbl 0849.68113
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 167-196 (1995).
Linear logic and exceptions. (English) Zbl 0819.03002
Reviewer: J.Šefránek (Bratislava)
Cut elimination for the unified logic. (English) Zbl 0786.03041
Reviewer: M.Yasuhara (Princeton)
MSC:
03F05
Generating plans in linear logic. I: Actions as proofs. (English) Zbl 0787.03006
Reviewer: V.M.Abrusci (Roma)
Negation as failure and intuitionistic three-valued logic. (English) Zbl 0800.68846
Jorrand, Philippe (ed.) et al., Fundamentals of artificial intelligence research. International workshop FAIR ’91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 535, 227-241 (1991).
MSC:
68T15
03B50
Generating plans in linear logic. (English) Zbl 0758.03017
Foundations of software technology and theoretical computer science, Proc. 10th Conf., Bangalore/India 1990, Lect. Notes Comput. Sci. 472, 63-75 (1990).
Reviewer: V.M.Abrusci (Roma)
Cut-elimination and interpolation for \(\Omega\)-logic. (English) Zbl 0663.03046
Reviewer: G.Mints
MSC:
03F05
Functors and ordinal notations. IV: The Howard ordinal and the functor \(\Lambda\). (English) Zbl 0621.03036
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. (English) Zbl 0568.03028
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. (English) Zbl 0568.03027
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. (French) Zbl 0556.03043
Functors and ordinal notations. III. Dilators and gardens. (English) Zbl 0568.03029
Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 333-364 (1982).
Filter Results by …
Document Type
- Journal Articles (14)
- Collection Articles (7)
all
top 5
Author
- Vauzeilles, Jacqueline (21)
- Fouqueré, Christophe (4)
- Kanovich, Max Iosifovich (4)
- Girard, Jean-Yves (3)
- Masseron, Marcel (2)
- Tollu, Christophe (2)
- Abrusci, Vito Michele (1)
- Ferbus-Zanda, Marie C. (1)
