383 search results - page 43 / 77 » Formal Syntax and Semantics of Case Stacking Languages |
141
Voted
FLAIRS
2009
15 years 1 months ago
2009
For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...
108
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
154
Voted
SEMWIKI
2008
15 years 4 months ago
2008
AceWiki is a prototype that shows how a semantic wiki using controlled natural language -- Attempto Controlled English (ACE) in our case -- can make ontology management easy for ev...
145
click to vote
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
118
Voted
JANCL
2007
15 years 3 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...