×

Found 54 Documents (Results 1–54)

100
MathJax

Domain theoretic second-order Euler’s method for solving initial value problems. (English) Zbl 07516373

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 105-128 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications. (English) Zbl 1429.68042

Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Part 2. Cham: Springer. Stud. Comput. Intell. 794, 1-17 (2019).
MSC:  68N17 03B52 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Modeling operational semantics with interval orders represented by sequences of antichains. (English) Zbl 1427.68155

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 251-271 (2018).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Some instances of graded consequence in the context of interval-valued semantics. (English) Zbl 1304.03067

Banerjee, Mohua (ed.) et al., Logic and its applications. 6th Indian conference, ICLA 2015, Mumbai, India, January 8–10, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-45823-5/pbk). Lecture Notes in Computer Science 8923, 74-87 (2015).
MSC:  03B52 68T37
PDF BibTeX XML Cite
Full Text: DOI

Interval temporal logic semantics of box algebra. (English) Zbl 1407.68334

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 441-452 (2014).
MSC:  68Q85 03B44
PDF BibTeX XML Cite
Full Text: DOI Link

Internal and interval semantics for CP-comparatives. (English) Zbl 1298.03091

Aloni, Maria (ed.) et al., Logic, language and meaning. 17th Amsterdam colloquium, Amsterdam, The Netherlands, December 16–18, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14286-4/pbk). Lecture Notes in Computer Science 6042. Lecture Notes in Artificial Intelligence, 133-142 (2010).
MSC:  03B65 68T50 91F20
PDF BibTeX XML Cite
Full Text: DOI

An interval logic for natural language semantics. (English) Zbl 1244.03102

Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 177-191 (2008).
MSC:  03B65 03B44
PDF BibTeX XML Cite

An overview of semantics for the validation of numerical programs. (English) Zbl 1111.68492

Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 59-77 (2005).
MSC:  68Q55 65G99 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (English) Zbl 1095.68021

Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI

A generalized decision logic in interval-set-valued information tables. (English) Zbl 0948.03029

Zhong, Ning (ed.) et al., New directions in rough sets, data mining, and granular-soft computing. 7th international workshop, RSFDGrC ’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1711, 285-293 (1999).
MSC:  03B70 68T27
PDF BibTeX XML Cite

On rich ontologies for tense and aspect. (English) Zbl 0860.03027

Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 77-92 (1996).
MSC:  03B65
PDF BibTeX XML Cite

Uncertain reasoning with interval-set algebra. (English) Zbl 0819.68119

Ziarko, Wojciech P. (ed.), Rough sets, fuzzy sets and knowledge discovery. Proceedings of the international workshop, RSKD ’93, Banff, Alberta, Canada, 12-15 October 1993. London: Springer-Verlag (in collab. with the British Computer Society). Workshops in Computing. 178-185 (1994).
MSC:  68T27 68Q55
PDF BibTeX XML Cite

Weiterentwicklung von Programmiersprachen für die Numerik unter besonderer Berücksichtigung der Rechengenauigkeit. (Development of programming languages for calculations with respect to accuracy). (German) Zbl 0688.68009

Karlsruhe: Univ. Karlsruhe, Diss. 100 p. (1988).
Reviewer: H.J.Töpfer
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