Výsledky vyhľadávania - [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Packing Arc-Disjoint Cycles in Tournaments Autor Bessy, Stéphane, Bougeret, Marin, Krithika, R., Sahu, Abhishek, Saurabh, Saket, Thiebaut, Jocelyn, Zehavi, Meirav

Získať plný text

Learning from interpretation transition Autor Inoue, Katsumi, Ribeiro, Tony, Sakama, Chiaki

“…We propose a novel framework for learning normal logic programs from transitions of interpretations…”
Získať plný text

Parallelism and Synchronization in an Infinitary Context Autor Dal Lago, Ugo, Faggian, Claudia, Valiron, Benoit, Yoshimizu, Akira

“…We study multitoken interaction machines in the context of a very expressive linear logical system with exponentials, fix points and synchronization. The…”
Získať plný text

Induced betweenness in order-theoretic trees Autor Courcelle, Bruno

“…The ternary relation B(x,y,z) of betweenness states that an element y is between the elements x and z, in some sense depending on the considered structure. In…”
Získať plný text

Almost envy-free allocations with connected bundles Autor Vittorio Bilò, Ioannis Caragiannis, Michele Flammini, Ayumi Igarashi, Gianpiero Monaco, Dominik Peters, Cosimo Vinci, William S. Zwicker

Získať plný text

A Type System Describing Unboundedness Autor Parys, Paweł

“…We consider nondeterministic higher-order recursion schemes as recognizers of languages of finite words or finite trees. We propose a type system that allows…”
Získať plný text

A Note on Intensionalization Autor de Groote, Philippe, Kanazawa, Makoto

Získať plný text

A Note on Intensionalization Autor de Groote, Philippe, Kanazawa, Makoto

“…Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language…”
Získať plný text

Language Preservation Problems in Parametric Timed Automata Autor André, Étienne, Lime, Didier, Markey, Nicolas

Získať plný text

IMP with exceptions over decorated logic Autor Ekici, Burak

“…”that describe what computational (side) effect evaluation of a term may involve. In a point-free categorical language,called the “decorated logic…”
Získať plný text

A Recommender System Based on Multi-Criteria Aggregation Autor Fomba, Soumana, Zarate, Pascale, Kilgour, Marc, Camilleri, Guy, Konate, Jacqueline, Tangara, Fana

“…Recommender systems aim to support decision-makers by providing decision advice. We review briefly tools of Multi-Criteria Decision Analysis (MCDA), including…”
Získať plný text

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) Autor Laleau, Régine, Méry, Dominique, Nakajima, Shin, Troubitsyna, Elena

Získať plný text

Formal security proofs with minimal fuss: Implicit computational complexity at work Autor Nowak, David, Zhang, Yu

Získať plný text

A Recommender System Based on Multi-Criteria Aggregation Autor Fomba, Soumana, Zaraté, Pascale, Kilgour, Marc, Camilleri, Guy, Konate, Jacqueline, Tangara, Fana

Získať plný text

Trees in Partial Higher Dimensional Automata

Získať plný text

Confluence for classical logic through the distinction between values and computations Autor Espírito Santo, José, Matthes, Ralph, Nakazawa, Koji, Pinto, Luís

“…We apply an idea originated in the theory of programming languages - monadic meta-language with a distinction between values and computations - in the design of a calculus of cut-elimination for classical logic…”
Získať plný text

Non-Determinism and Nash Equilibria for Sequential Game over Partial Order Autor Le Roux, Stéphane

“…In sequential games of traditional game theory, backward induction guarantees existence of Nash equilibrium by yielding a sub-game perfect equilibrium. But if…”
Získať plný text

From Focalization of Logic to the Logic of Focalization Autor Basaldella, Michele, Saurin, Alexis, Terui, Kazushige

“…Andreoli originally discovered focalization as a concrete proof search strategy in proof theory of linear logic, putting to the foreground the role of polarity in logic…”
Získať plný text

A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries Autor Ehrhard, Thomas

Získať plný text

Classical Combinatory Logic Autor Nour, Karim

“…Combinatory logic shows that bound variables can be eliminated without loss of expressiveness…”
Získať plný text