Sciweavers

844 search results - page 36 / 169
» More On Implicit Syntax
Sort
View
101
Voted
ECAI
2006
Springer
15 years 7 months ago
Towards a Logic of Agency and Actions with Duration
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
Nicolas Troquard, Laure Vieu
129
Voted
FIW
2000
147views Communications» more  FIW 2000»
15 years 4 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
Kenneth J. Turner
108
Voted
ACTAC
2002
75views more  ACTAC 2002»
15 years 3 months ago
Framework for Studying Substitution
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
Härmel Nestra
122
Voted
RR
2010
Springer
15 years 1 months ago
Usability of a Visual Language for DL Concept Descriptions
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
Fernando Náufel do Amaral
103
Voted
ACL
2010
15 years 1 months ago
A Cognitive Cost Model of Annotations Based on Eye-Tracking Data
We report on an experiment to track complex decision points in linguistic metadata annotation where the decision behavior of annotators is observed with an eyetracking device. As ...
Katrin Tomanek, Udo Hahn, Steffen Lohmann, Jü...