Result 1 to 20 of 23 total
Detecting inconsistencies in large biological networks with answer set programming. (English)
Theory Pract. Log. Program. 11, No. 2-3, 323-360 (2011).
1
Color invariant chroma keying and color spill neutralization for dynamic scenes and cameras. (English)
Visual Comput. 26, No. 9, 1167-1176 (2010).
2
Repair and prediction (under inconsistency) in large biological networks with answer set programming (English)
KR (2010).
3
The bioasp library: ASP solutions for systems biology (English)
ICTAI (1), 383-389 (2010).
4
On the input language of ASP grounder Gringo. (English)
Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 502-508 (2009).
5
Metabolic network expansion with answer set programming. (English)
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 312-326 (2009).
6
Projected light microscopy (English)
SIGGRAPH Talks (2009).
7
Metabolic network expansion with answer set programming (English)
ICLP, 312-326 (2009).
8
On the input language of ASP grounder gringo (English)
LPNMR, 502-508 (2009).
9
Engineering an incremental ASP solver. (English)
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9‒13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 190-205 (2008).
10
Detecting inconsistencies in large biological networks with answer set programming. (English)
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9‒13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 130-144 (2008).
11
Engineering an incremental ASP solver (English)
ICLP, 190-205 (2008).
12
Detecting inconsistencies in large biological networks with answer set programming (English)
ICLP, 130-144 (2008).
13
COBA 2.0: A consistency-based belief change system. (English)
Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31‒November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 78-90 (2007).
14
GrinGo: A new grounder for answer set programming. (English)
Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15‒17, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72199-4/pbk). Lecture Notes in Computer Science 4483. Lecture Notes in Artificial Intelligence, 266-271 (2007).
15
COBA 2.0: A consistency-based belief change system (English)
ECSQARU, 78-90 (2007).
16
Gringo : A new grounder for answer set programming (English)
LPNMR, 266-271 (2007).
17
On probing and multi-threading in platypus (English)
ECAI, 392-396 (2006).
18
PLATYPUS: A platform for distributed answer set solving. (English)
Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5‒8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 227-239 (2005).
19
Platypus: A platform for distributed answer set solving (English)
LPNMR, 227-239 (2005).
20
Result 1 to 20 of 23 total
Start
Contact
Print
General Help
