Result 1 to 20 of 296 total
Forgetting for defeasible logic. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 77-91 (2012).
1
The semantic web: ESWC 2011 workshops. ESWC 2011 workshops, Heraklion, Greece, May 29‒30, 2011. Revised selected papers. (English)
Lecture Notes in Computer Science 7117. Berlin: Springer (ISBN 978-3-642-25952-4/pbk). xix, 285~p. EUR~57.78 (2012).
2
Evolution of ontologies using ASP. (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, 16-27, electronic only (2011).
3
Using constraint optimization for conflict resolution and detail control in activity recognition. (English)
Keyson, David V. (ed.) et al., Ambient intelligence. Second international joint conference on AmI 2011, Amsterdam, The Netherlands, November 16‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25166-5/pbk). Lecture Notes in Computer Science 7040, 51-60 (2011).
4
Modularity in the rule interchange format. (English)
Bassiliades, Nick (ed.) et al., Rule-based reasoning, programming, and applications. 5th international symposium, RuleML 2011 ‒ Europe, Barcelona, Spain, July 19‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22545-1/pbk). Lecture Notes in Computer Science 6826, 313-328 (2011).
5
Extending a multi-agent reasoning interoperability framework with services for the semantic web logic and proof layers. (English)
Bassiliades, Nick (ed.) et al., Rule-based reasoning, programming, and applications. 5th international symposium, RuleML 2011 ‒ Europe, Barcelona, Spain, July 19‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22545-1/pbk). Lecture Notes in Computer Science 6826, 29-43 (2011).
6
Rule-based activity recognition in ambient intelligence. (English)
Bassiliades, Nick (ed.) et al., Rule-based reasoning, programming, and applications. 5th international symposium, RuleML 2011 ‒ Europe, Barcelona, Spain, July 19‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22545-1/pbk). Lecture Notes in Computer Science 6826, 1 (2011).
7
A modal defeasible reasoner of deontic logic for the semantic web. (English)
Int. J. Semantic Web Inf. Syst. 7, No. 1, 18-43 (2011).
8
The semantic web: research and applications. 8th extended semantic web conference, ESWC 2011, Heraklion, Crete, Greece, May 29 ‒ June 2, 2011. Proceedings, Part II. (English)
Lecture Notes in Computer Science 6644. Berlin: Springer (ISBN 978-3-642-21063-1/pbk). xxiii, 525~p. EUR~74.90 (2011).
9
Partial preferences and ambiguity resolution in contextual defeasible logic. (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, 193-198 (2011).
10
The semantic web: research and applications. 8th extended semantic web conference, ESWC 2011, Heraklion, Crete, Greece, May 29 ‒ June 2, 2011. Proceedings, Part I. (English)
Lecture Notes in Computer Science 6643. Berlin: Springer (ISBN 978-3-642-21033-4/pbk). xxvii, 427~p. EUR~66.34 (2011).
11
Visualizing semantic web proofs of defeasible logic in the DR-DEVICE system (English)
Knowl.-Based Syst. 24, No. 3, 406-419 (2011).
12
E-commerce: protecting purchaser privacy to enforce trust (English)
Electronic Commerce Research 11, No. 4, 421-456 (2011).
13
DEAL: A distributed authorization language for ambient intelligence (English)
IJACI 3, No. 4, 9-24 (2011).
14
Contextual defeasible logic and its application to ambient intelligence (English)
IEEE Transactions on Systems, Man, and Cybernetics, Part A 41, No. 4, 705-716 (2011).
15
Mweb: A principled framework for modular web rule bases and its semantics (English)
ACM Trans. Comput. Log. 12, No. 2, 17 (2011).
16
Reasoning and proofing services for semantic web agents (English)
IJCAI, 2662-2667 (2011).
17
Evolution of ontologies using ASP (English)
ICLP (Technical Communications), 16-27 (2011).
18
Using constraint optimization for conflict resolution and detail control in activity recognition (English)
AmI, 51-60 (2011).
19
Partial preferences and ambiguity resolution in contextual defeasible logic (English)
LPNMR, 193-198 (2011).
20
Result 1 to 20 of 296 total
Start
Contact
Print
General Help
