Result 1 to 20 from 81 total
Efficient tabling of structured data using indexing and program transformation. (English)
Russo, Claudio (ed.) et al., Practical aspects of declarative languages. 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27693-4/pbk). Lecture Notes in Computer Science 7149, 93-107 (2012).
1
Bayesian annotation networks for complex sequence analysis. (English)
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6‒10, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPICS ‒ Leibniz International Proceedings in Informatics 11, 220-230, electronic only (2011).
2
Flexible query answering systems. 9th international conference, FQAS 2011, Ghent, Belgium, October 26‒28, 2011. Proceedings. (English)
Lecture Notes in Computer Science 7022. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-24763-7/pbk). xiv, 510~p. EUR~74.90 (2011).
3
Modeling and using context. 7th international and interdisciplinary conference, CONTEXT 2011, Karlsruhe, Germany, September 26‒30, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6967. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-24278-6/pbk). xiii, 336~p. EUR~57.78 (2011).
4
Bayesian annotation networks for complex sequence analysis (English)
ICLP (Technical Communications), 220-230 (2011).
5
Inference with constrained hidden Markov models in PRISM. (English)
Theory Pract. Log. Program. 10, No. 4-6, 449-464 (2010).
6
Preprocessing for optimization of probabilistic-logic models for sequence analysis. (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, 70-83 (2009).
7
Non-discriminating arguments and their uses. (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, 55-69 (2009).
8
Flexible query answering systems. 8th international conference, FQAS 2009, Roskilde, Denmark, October 26‒28, 2009. Proceedings. (English)
Lecture Notes in Computer Science 5822. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-04956-9/pbk). xiii, 676~p. EUR~84.53 (2009).
9
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. (English)
J. Appl. Log. 7, No. 3, 341-362 (2009).
10
Abductive logic grammars. (English)
Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21‒24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 170-181 (2009).
11
Adaptable grammars for non-context-free languages. (English)
Cabestany, Joan (ed.) et al., Bio-inspired systems: Computational and ambient intelligence. 10th international work-conference on artificial neural networks, IWANN 2009, Salamanca, Spain, June 10‒12, 2009. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-02477-1/pbk). Lecture Notes in Computer Science 5517, 488-495 (2009).
12
Abductive logic grammars (English)
WoLLIC, 170-181 (2009).
13
Non-discriminating arguments and their uses (English)
ICLP, 55-69 (2009).
14
Preprocessing for optimization of probabilistic-logic models for sequence analysis (English)
ICLP, 70-83 (2009).
15
Adaptable grammars for non-context-free languages (English)
IWANN (1), 488-495 (2009).
16
Implementing probabilistic abductive logic programming with constraint handling rules. (English)
Schrijvers, Tom (ed.) et al., Constraint Handling Rules. Current research topics. Berlin: Springer (ISBN 978-3-540-92242-1/pbk). Lecture Notes in Computer Science 5388. Lecture Notes in Artificial Intelligence, 85-118 (2008).
17
Implementing probabilistic abductive logic programming with constraint handling rules (English)
Constraint Handling Rules, 85-118 (2008).
18
A machine learning approach to test data generation: A case study in evaluation of gene finders. (English)
Perner, Petra (ed.), Machine learning and data mining in pattern recognition. 5th international conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73498-7/pbk). Lecture Notes in Computer Science 4571. Lecture Notes in Artificial Intelligence, 742-755 (2007).
19
On the implementation of global abduction. (English)
Inoue, Katsumi (ed.) et al., Computational logic in multi-agent systems. 7th international workshop, CLIMA VII, Hakodate, Japan, May 8‒9, 2006. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-69618-6/pbk). Lecture Notes in Computer Science 4371. Lecture Notes in Artificial Intelligence, 226-245 (2007).
20
Result 1 to 20 from 81 total
Start
Contact
Print
General Help
