9145 search results - page 234 / 1829 » Description Logic Systems |
217
click to vote
JOLLI
2010
15 years 1 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
181
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
We describe our initial investigations into generating textual summaries of spatiotemporal data with the help of a prototype Natural Language Generation (NLG) system that produces...
166
click to vote
AVI
2000
15 years 8 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
189
click to vote
APWEB
2005
Springer
16 years 3 days ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
165
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...