Sciweavers

3319 search results - page 28 / 664
» Subshifts, Languages and Logic
Sort
View
ICALP
2000
Springer
14 years 10 days ago
Lax Logical Relations
Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...
Gordon D. Plotkin, John Power, Donald Sannella, Ro...
ESWS
2006
Springer
14 years 12 days ago
The Web Service Modeling Language WSML: An Overview
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
CSL
2004
Springer
13 years 8 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
JOLLI
2008
145views more  JOLLI 2008»
13 years 8 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
ENTCS
2002
90views more  ENTCS 2002»
13 years 8 months ago
A Language for Multi-dimensional Updates
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
João Alexandre Leite, José Jú...