Sciweavers

492 search results - page 6 / 99
» Integrating Ontology Languages and Answer Set Programming
Sort
View
ASP
2005
Springer
14 years 2 months ago
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
Luis Tari, Chitta Baral, Saadat Anwar
CONSTRAINTS
2008
121views more  CONSTRAINTS 2008»
13 years 8 months ago
Modeling Biological Networks by Action Languages via Answer Set Programming
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
Steve Dworschak, Susanne Grell, Victoria J. Nikifo...
CORR
2002
Springer
187views Education» more  CORR 2002»
13 years 8 months ago
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
LPNMR
2005
Springer
14 years 2 months ago
Data Integration and Answer Set Programming
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
Thomas Eiter
AAAI
2008
13 years 11 months ago
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
Chitta Baral, Juraj Dzifcak, Tran Cao Son