×

Found 33 Documents (Results 1–33)

Tractable reasoning with DL-programs over Datalog-rewritable description logics. (English) Zbl 1211.68402

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 35-40 (2010).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Complexity of the stable model semantics for queries on incomplete databases. (English) Zbl 1258.68049

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, 101-114 (2009).
MSC:  68P15 68N17
PDFBibTeX XMLCite
Full Text: DOI

Fuzzy description logic reasoning using a fixpoint algorithm. (English) Zbl 1211.68404

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 265-279 (2009).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Compiling fuzzy answer set programs to fuzzy propositional theories. (English) Zbl 1185.68161

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, 362-376 (2008).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Hierarchical decision making in multi-agent systems using answer set programming. (English) Zbl 1177.68229

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, 20-40 (2007).
MSC:  68T42 68N17 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Cooperating answer set programming. (English) Zbl 1131.68403

Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 226-241 (2006).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Guarded open answer set programming with generalized literals. (English) Zbl 1177.68041

Dix, Jürgen (ed.) et al., Foundations of information and knowledge systems. 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31782-1/pbk). Lecture Notes in Computer Science 3861, 179-200 (2006).
MSC:  68N17 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Synthesis from temporal specifications using preferred answer set programming. (English) Zbl 1171.68548

Coppo, Mario (ed.) et al., Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12–14, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29106-7/pbk). Lecture Notes in Computer Science 3701, 280-294 (2005).
MSC:  68Q60 03B44 68N17
PDFBibTeX XMLCite
Full Text: DOI

Guarded open answer set programming. (English) Zbl 1152.68413

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, 92-104 (2005).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Weighted answer sets and applications in intelligence analysis. (English) Zbl 1108.68363

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 169-183 (2005).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Hierarchical decision making by autonomous agents. (English) Zbl 1111.68679

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 44-56 (2004).
MSC:  68T27 68N17 91B06
PDFBibTeX XMLCite
Full Text: DOI

On programs with linearly ordered multiple preferences. (English) Zbl 1104.68389

Demoen, Bart (ed.) et al., Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22671-0/pbk). Lecture Notes in Computer Science 3132, 180-194 (2004).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

A defeasible ontology language. (English) Zbl 1018.68684

Meersman, Robert (ed.) et al., On the move to meaningful internet systems 2002: CoopIS, DOA, and ODBASE. Confederated international conferences CoopIS, DOA, and ODBASE 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2519, 1033-1046 (2002).
MSC:  68U99 68M10 68U35
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software