×

Found 88 Documents (Results 1–88)

Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL. (English) Zbl 07671891

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 231-244 (2022).
MSC:  68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. (English) Zbl 07437044

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 225-242 (2021).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Photoelasticity. (English) Zbl 1325.74009

Grédiac, Michel (ed.) et al., Full-field measurements and identification in solid mechanics. Foreword by Michael A. Sutton. London: ISTE; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-84821-294-7/hbk). Mechanical Engineering and Solid Mechanics Series, 31-59 (2013).
MSC:  74-05 74F15 78A10
PDFBibTeX XMLCite

Verifying business process compliance by reasoning about actions. (English) Zbl 1286.68438

Dix, Jürgen (ed.) et al., Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14976-4/pbk). Lecture Notes in Computer Science 6245. Lecture Notes in Artificial Intelligence, 99-116 (2010).
MSC:  68T42 68T27 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Curvature of universal bundles of Banach algebras. (English) Zbl 1202.46088

Ball, Joseph A. (ed.) et al., Topics in operator theory. Volume 1: Operators, matrices and analytic functions. Proceedings of the 19th international workshop on operator theory and applications (IWOTA), College of William and Mary, Williamsburg, VA, USA, July 22–26, 2008. A tribute to Israel Gohberg on the occasion of his 80th birthday. Basel: Birkhäuser (ISBN 978-3-0346-0157-3/hbk; 978-3-0346-0163-4/set; 978-3-0346-0158-0/ebook). Operator Theory: Advances and Applications 202, 195-222 (2010).
PDFBibTeX XMLCite

Causal simulation and diagnosis of dynamic systems. (English) Zbl 1007.68602

Esposito, Floriana (ed.), AI*IA 2001: Advances in artificial intelligence. 7th congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2175, 135-146 (2001).
MSC:  68U20
PDFBibTeX XMLCite
Full Text: Link

On the evaluation of transients in conducting ferromagnetic cores. (English) Zbl 1014.65084

Van Rienen, Ursula (ed.) et al., Scientific computing in electrical engineering. Proceedings of the 3rd international workshop, Warnemünde, Germany, August 20-23, 2000. Berlin: Springer. Lect. Notes Comput. Sci. Eng. 18, 417-424 (2001).
PDFBibTeX XMLCite

Hysteresis models for transient simulation. (English) Zbl 1012.78504

Van Rienen, Ursula (ed.) et al., Scientific computing in electrical engineering. Proceedings of the 3rd international workshop, Warnemünde, Germany, August 20-23, 2000. Berlin: Springer. Lect. Notes Comput. Sci. Eng. 18, 105-112 (2001).
MSC:  78A30 82D40
PDFBibTeX XMLCite

The TH\(\exists\)OREM\(\forall\) project: A progress report. (English) Zbl 1017.68110

Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 98-113 (2001).
MSC:  68T15 68W30
PDFBibTeX XMLCite

A 2D finite element method for magnetic field computations in electrical machines using an advanced material characterisation. (English) Zbl 0870.65129

Whiteman, J. R. (ed.), The mathematics of finite elements and applications. Highlights 1996. Proceedings of the 9th conference, MAFELAP 1996, Uxbridge, GB, June 25–28, 1996, Chichester: Wiley. 417-426 (1997).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software