Result 1 to 20 of 258 total
Individual link model for text classification. (English)
Greco, Salvatore (ed.) et al., Advances in computational intelligence. 14th international conference on information processing and management of uncertainty in knowledge-based systems, IPMU 2012, Catania, Italy, July 9‒13, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-31708-8/pbk; 978-3-642-31709-5/ebook). Communications in Computer and Information Science 297, 440-449 (2012).
1
Implementing reversible processes in multi-agent action languages using answer set planning. (English)
Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence, 163-180 (2012).
2
Formalizing commitments using action languages. (English)
Sakama, Chiaki (ed.) et al., Declarative agent languages and technologies IX. 9th international workshop, DALT 2011, Taipei, Taiwan, May 3, 2011. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-29112-8/pbk). Lecture Notes in Computer Science 7169. Lecture Notes in Artificial Intelligence, 67-83 (2012).
3
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. (English)
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 509-526 (2012).
4
Incremental information extraction using relational databases (English)
IEEE Trans. Knowl. Data Eng. 24, No. 1, 86-99 (2012).
5
CDAOstore: a phylogenetic repository using logic programming and web services. (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, 209-219, electronic only (2011).
6
On the web ontology rule language OWL 2 RL. (English)
Jędrzejowicz, Piotr (ed.) et al., Computational collective intelligence. Technologies and applications. Third international conference, ICCCI 2011, Gdynia, Poland, September 21‒23, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23934-2/pbk). Lecture Notes in Computer Science 6922. Lecture Notes in Artificial Intelligence, 254-264 (2011).
7
Hierarchical spatial matching kernel for image categorization. (English)
Kamel, Mohamed (ed.) et al., Image analysis and recognition. 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22‒24, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21592-6/pbk). Lecture Notes in Computer Science 6753, 141-151 (2011).
8
From “reading” math to “doing” math: a new direction in non-visual math accessibility. (English)
Stephanidis, Constantine (ed.), Universal access in human-computer interaction. Applications and services. 6th international conference, UAHCI 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-21656-5/pbk). Lecture Notes in Computer Science 6768, 501-510 (2011).
9
Approximation of action theories and its application to conformant planning. (English)
Artif. Intell. 175, No. 1, 79-119 (2011).
10
An improvement of router throughput for on-chip networks using on-the-fly virtual channel allocation. (English)
Berekovic, Mladen (ed.) et al., Architecture of computing systems ‒ ARCS 2011. 24th international conference, Como, Italy, February 24‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19136-7/pbk). Lecture Notes in Computer Science 6566, 219-230 (2011).
11
ASP-prolog for negotiation among dishonest agents. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 331-344 (2011).
12
Combining answer set programming and Prolog: The $\mathbb{ASP{‒}PROLOG}$ system. (English)
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 452-472 (2011).
13
CDAO-store: ontology-driven data integration for phylogenetic analysis. (English)
BMC Bioinform. 12, 98 (2011).
14
Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. (English)
Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). xiii, 513~p. EUR~74.90 (2011).
15
Optimum multi-user detection by nonsmooth optimization (English)
ICASSP, 3444-3447 (2011).
16
A DHT-based hierarchical overlay for peer-to-peer mmogs over manets (English)
IWCMC, 1475-1480 (2011).
17
On the impact of belief state representation in planning under uncertainty (English)
IJCAI, 2856-2857 (2011).
18
A logical formulation for negotiation among dishonest agents (English)
IJCAI, 1069-1074 (2011).
19
On the effectiveness of CNF and DNF representations in contingent planning (English)
IJCAI, 2033-2038 (2011).
20
Result 1 to 20 of 258 total
Start
Contact
Print
General Help
