• Suche: "Programmation par ensemble reponse"

Treffer 1 - 20 von 116

1

Probabilistic description logic programs
LUKASIEWICZ, Thomas
Eighth European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2005)International journal of approximate reasoning. 45(2):288-307

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
2

Using answer set programming for the automatic compilation of assessment tests
SCHWAIGER, Petra ; FREITAG, Burkhard
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :300-314

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
3

Tableau calculi for answer set programming
GEBSER, Martin ; SCHAUB, Torsten
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :11-25

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
4

TOAST : Applying answer set programming to superoptimisation
BRAIN, Martin ; CRICK, Tom ; DE VOS, Marina ; et al.
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :270-284

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
5

Some algorithmic improvements for the containment problem of conjunctive queries with negation
LECLERE, Michel ; MUGNIER, Marie-Laure
Database theory (ICDT 2007)0ICDT 2007. :404-418

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
6

Representing defaults and negative information without negation-as-failure
FILLOTTRANI, Pablo R ; SIMARI, Guillermo R
Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006)0LPAR 2006. :437-451

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
7

Pruned query evaluation using pre-computed impacts
VO NGOC ANH ; MOFFAT, Alistair
SIGIR 2006 (proceedings of the Twenty-Ninth annual international ACM SIGIR Conference on research and development in information retrieval, August 6-11, 2006, Seattle, WA, USA). :372-379

Documentation Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees …
Konferenz
Zu den Favoriten
8

Page sets as web search answers
YUMOTO, Takayuki ; TANAKA, Katsumi
Digital libraries (achievements, challenges and opportunities)0ICADL 2006. :244-253

Documentation Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees …
Konferenz
Zu den Favoriten
9

Modelling biological networks by action languages via answer set programming
GRELL, Susanne ; SCHAUB, Torsten ; SELBIG, Joachim
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :285-299

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
10

Macros, macro calls and use of ensembles in modular answer set programming
BARAL, Chitta ; DZIFCAK, Juraj ; TAKAHASHI, Hiro
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :376-390

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
11

Justifications for logic programs under answer set semantics
PONTELLI, Enrico ; TRAN CAO SON
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :196-210

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
12

Generality relations in answer set programming
INOUE, Katsumi ; SAKAMA, Chiaki
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :211-225

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
13

Declarative semantics of production rules for integrity maintenance
CAROPRESE, Luciano ; GRECO, Sergio ; SIRANGELO, Cristina ; et al.
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :26-40

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
14

Cooperating answer set programming
VAN NIEUWENBORGH, Davy ; HEYMANS, Stijn ; VERMEIR, Dirk
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :226-241

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
15

Constructing camin-sokal phylogenies via answer set programming
KAVANAGH, Jonathan ; MITCHELL, David ; TERNOVSKA, Eugenia ; et al.
Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006)0LPAR 2006. :452-466

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
16

Answer set general theories and preferences
OSORIO, Mauricio ; ZEPEDA, Claudia
MICAI 2006 (advances in artificial intelligence)Lecture notes in computer science. :59-69

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
17

An incremental refining spatial join algorithm for estimating query results in GIS
BAE, Wan D ; ALKOBAISI, Shayma ; LEUTENEGGER, Scott T
Database and expert systems applications (17th international conference, DEXA 2006, Kraków, Poland, September 4-8, 2006)0DEXA 2006. :935-944

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
18

Using answer set programming for a decision support system
BEIERLE, Christoph ; DUSSO, Oliver ; KERN-ISBERNER, Gabriele
LPNMR 2005 : logic programming and nonmonotonic reasoning (Diamante, 5-8 September 2005)Lecture notes in computer science. :374-378

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
19

Unfounded sets for disjunctive logic programs with arbitrary aggregates
FABER, Wolfgang
LPNMR 2005 : logic programming and nonmonotonic reasoning (Diamante, 5-8 September 2005)Lecture notes in computer science. :40-52

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
20

The relationship between reasoning about privacy and default logics
DIX, Jürgen ; FABER, Wolfgang ; SUBRAHMANIAN, V. S
Logic for programming, artificial intelligence, and reasoning (12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005)0LPAR 2005. :637-650

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter