Sciweavers

6618 search results - page 236 / 1324
» Natural Logic for Natural Language
Sort
View
ERLANG
2003
ACM
15 years 12 months ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
COSIT
2007
Springer
97views GIS» more  COSIT 2007»
16 years 24 days ago
Semantic Categories Underlying the Meaning of 'Place'
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
Brandon Bennett, Pragya Agarwal
ICDT
2007
ACM
97views Database» more  ICDT 2007»
16 years 23 days ago
Combining Temporal Logics for Querying XML Documents
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
LOPSTR
2001
Springer
15 years 11 months ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...