Showing 1 - 20 of 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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List

Filter