Suchergebnisse - "[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]"

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

“… We propose a novel framework for learning normal logic programs from transitions of interpretations. Given a set of pairs of interpretations ( I , J ) such …”
Volltext

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

Volltext

Induced betweenness in order-theoretic trees von 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 …”
Volltext

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

Volltext

Parallelism and Synchronization in an Infinitary Context von 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 …”
Volltext

A Type System Describing Unboundedness von 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 …”
Volltext

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

Volltext

IMP with exceptions over decorated logic von Ekici, Burak

“… In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with “decorations”that describe what computational (side) …”
Volltext

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

Volltext

A Recommender System Based on Multi-Criteria Aggregation von 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 …”
Volltext

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

Volltext

A Note on Intensionalization von 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 …”
Volltext

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) von Laleau, Régine, Méry, Dominique, Nakajima, Shin, Troubitsyna, Elena

Volltext

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

Volltext

Trees in Partial Higher Dimensional Automata

Volltext

Confluence for classical logic through the distinction between values and computations von 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 …”
Volltext

Non-Determinism and Nash Equilibria for Sequential Game over Partial Order von 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 …”
Volltext

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

Volltext

From Focalization of Logic to the Logic of Focalization von 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 …”
Volltext

The call-by-value λµ∧∨-calculus von Nour, Karim, Saber, Khelifa

“… In this paper, we introduce the $λ μ ^{∧∨}$ - call-by-value calculus and we give a proof of the Church-Rosser property of this system. This proof is an …”
Volltext