2500 search results - page 298 / 500 » Logical Semantics of Modularisation |
167
click to vote
AUSAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
230
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
144
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...
155
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
This paper describes a new generic metadata model, called CAM Metamodel, that merges altogether information about content, services, physical and technical environment in order to...
209
click to vote
ECEASST
2008
15 years 6 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...