Sciweavers

1328 search results - page 85 / 266
» Cut-free common knowledge
Sort
View
SWAP
2008
15 years 5 months ago
Semantic-based Automated Evaluation of Company Core Competence
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
SIS
2007
15 years 5 months ago
An Ontology for the Expression of Intellectual Property Entities and Relations
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
Víctor Rodríguez-Doncel, Marc Gauvin...
FLAIRS
2006
15 years 5 months ago
Contextual Graphs for a Real-World Decision Support System
Decision support systems that capture, preserve, and reuse implicit knowledge can greatly benefit from explicitly using context. The development of this type of system can benefit...
Johann V. Nguyen, Brian C. Becker, Avelino J. Gonz...
COLING
1990
15 years 5 months ago
Three Typed Pragmatics for Dialogue Structure Analysis
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
Hitoshi Iida, Takayuki Yamaoka, Hidekazu Arita
CORR
2010
Springer
202views Education» more  CORR 2010»
15 years 3 months ago
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
Nadia Creignou, Arne Meier, Michael Thomas, Heribe...