Sciweavers

844 search results - page 36 / 169
» More On Implicit Syntax
Sort
View
ECAI
2006
Springer
15 years 5 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
FIW
2000
147views Communications» more  FIW 2000»
15 years 3 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
ACTAC
2002
75views more  ACTAC 2002»
15 years 1 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
RR
2010
Springer
15 years 11 days 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
ACL
2010
15 years 12 hour 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ü...