383 search results - page 43 / 77 » Formal Syntax and Semantics of Case Stacking Languages |
FLAIRS
2009
14 years 7 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...
68
Voted
ATAL
2006
Springer
15 years 1 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...
105
click to vote
SEMWIKI
2008
14 years 11 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...
COORDINATION
2005
Springer
15 years 3 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 ...
JANCL
2007
14 years 9 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...