×

Found 138 Documents (Results 1–100)

100
MathJax

Formalizing the right to know: epistemic rights as normative positions. (English) Zbl 1484.03037

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 154-159 (2021).
MSC:  03B45 03B42 68T27
PDF BibTeX XML Cite

Explaining actual causation via reasoning about actions and change. (English) Zbl 07169109

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 231-246 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI Link

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. (English) Zbl 1385.68008

Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part I. (English) Zbl 1385.68007

Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. (English) Zbl 1385.68006

Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI

Together, is anything possible? A look at collective commitments for agents. (English) Zbl 1281.68214

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 476-480, electronic only (2012).
MSC:  68T42 68M14
PDF BibTeX XML Cite
Full Text: DOI

Extending \(\mathcal{C}\)+ with composite actions for robotic task planning. (English) Zbl 1281.68210

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 404-414, electronic only (2012).
MSC:  68T30 68T05 90B35
PDF BibTeX XML Cite
Full Text: DOI

Teachers’ professional learning of teaching proof and proving. (English) Zbl 1247.97016

Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 327-346 (2012).
MSC:  97E50 97B50 97C70
PDF BibTeX XML Cite
Full Text: DOI

Granular rough mereological logics with applications to dependencies in information and decision systems. (English) Zbl 1288.68211

Peters, James F. (ed.) et al., Transactions on Rough Sets XII. Berlin: Springer (ISBN 978-3-642-14466-0/pbk). Lecture Notes in Computer Science 6190. Journal Subline, 1-20 (2010).
MSC:  68T37 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

The Cantor space as a generic model of topologically presented knowledge. (English) Zbl 1284.03143

Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 169-180 (2010).
MSC:  03B42 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

Algebras as knowledge structures. (English) Zbl 1156.03319

Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 471-482 (2005).
MSC:  03B42 03B25 68T27
PDF BibTeX XML Cite
Full Text: DOI

On the negation of action types: constructive concurrent PDL. (English) Zbl 1102.03033

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 207-225 (2005).
PDF BibTeX XML Cite

A two-sorted hybrid logic including guarded jumps. (English) Zbl 1109.03013

Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 73-92 (2005).
MSC:  03B45 03B42 68T27
PDF BibTeX XML Cite

A hybrid logic of knowledge supporting topological reasoning. (English) Zbl 1108.68386

Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 181-195 (2004).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

G-STRIPS – a generalized STRIPS system for handling state change over dynamic domains. (English) Zbl 1070.68612

Zhong, Ning (ed.) et al., Foundations of intelligent systems. 14th international symposium, ISMIS 2003, Maebashi City, Japan, October 28–31, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20256-0/pbk). Lecture Notes in Computer Science 2871. Lecture Notes in Artificial Intelligence, 292-296 (2003).
MSC:  68T27 68T30 68T40
PDF BibTeX XML Cite

A hybrid treatment of evolutionary sets. (English) Zbl 1077.68848

Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 204-213 (2002).
PDF BibTeX XML Cite
Full Text: Link

Knowledge over dense flows of time (from a hybrid point of view). (English) Zbl 1027.03012

Agrawal, Manindra (ed.) et al., FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2556, 194-205 (2002).
MSC:  03B42 68T30 68T27
PDF BibTeX XML Cite
Full Text: Link

Type theoretic foundations of context. I: Contexts as complex type-theoretic objects. (English) Zbl 0946.03038

Bouquet, Paolo (ed.) et al., Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1688, 351-360 (1999).
PDF BibTeX XML Cite

Separating sets by modal formulas. (English) Zbl 0934.03022

Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4-8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 140-153 (1999).
PDF BibTeX XML Cite

Studying incompleteness of information: A class of information logics. (English) Zbl 0968.03020

Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 283-300 (1998).
MSC:  03B42 68T30
PDF BibTeX XML Cite

Reasoning about merged information. (English) Zbl 0928.03017

Dubois, Didier (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 233-263 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software