Search results
From MaRDI portal
- operational system for wildland fire crisis management. I: Mathematical modelling and simulation 2004-06-15 Paper A GIS based operational system for wildland...10 bytes (12 words) - 12:30, 24 September 2023
- 1994-08-15 Paper Quantum logic and linear logic 1994-08-15 Paper Bounds for the solutions of a class of tridiagonal linear systems 1994-08-15 Paper Dipolynomial...10 bytes (12 words) - 13:11, 24 September 2023
- the priority queueing system of Barabási 2018-11-13 Paper Finite-size effects in simulations of self-propelled particles system 2018-11-13 Paper New leads...10 bytes (12 words) - 16:16, 24 September 2023
- Coinductive Logic Programming 2008-03-11 Paper PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters 2007-12-10 Paper Co-Logic Programming: Extending...10 bytes (14 words) - 21:57, 10 December 2023
- Provenance calculus and possibilistic logic: a parallel and a discussion 2024-08-15 Paper First steps towards a logic of ordered pairs 2024-08-15 Paper Reasoning...10 bytes (14 words) - 13:42, 7 December 2023
- in LP Systems 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23...10 bytes (16 words) - 03:58, 12 December 2023
- hybrid circuits in constraint logic programming 1990-01-01 Paper Solving large combinatorial problems in logic programming 1990-01-01 Paper https://portal...10 bytes (16 words) - 01:06, 10 December 2023
- network-constrained power system scheduling problem 2018-08-27 Paper Multiobjective CVaR optimization model and solving method for hydrothermal system considering uncertain...10 bytes (12 words) - 17:16, 24 September 2023
- timed systems 2017-01-23 Paper A full operational semantics for asynchronous relational networks 2016-02-25 Paper Service-oriented logic programming 2015-08-25...10 bytes (15 words) - 19:56, 11 December 2023
- Publication Date of Publication Type Parallel Logic Programming: A Sequel 2023-12-12 Paper Modeling and Reasoning in Event Calculus...10 bytes (13 words) - 10:35, 5 September 2024
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms...10 bytes (13 words) - 07:46, 9 December 2023
- Complete and Compact Propositional Deontic Logic 2008-09-17 Paper A Tableaux System for Deontic Action Logic 2008-08-28 Paper Extension Morphisms for CommUnity...10 bytes (17 words) - 15:15, 12 December 2023
- transform and semi-definite programming 2007-10-08 Paper Declarative semantics of programming in residuated lattice-valued logic 2007-02-20 Paper https://portal...10 bytes (13 words) - 21:15, 8 December 2023
- 2010-07-28 Paper Design of a parallel distributed fuzzy LQR controller for the twin rotor multi-input multi-output system 2010-07-28 Paper New delay-dependent...10 bytes (12 words) - 02:18, 25 September 2023
- 1999-04-28 Paper Parallel m-step preconditioners for the conjugate gradient method 1999-04-28 Paper OASys: an AND/OR parallel logic programming system 1999-04-28...10 bytes (12 words) - 11:19, 24 September 2023
- 2013-02-01 Paper The parallel versus branching recurrences in computability logic 2013-01-30 Paper The nondifferentiable multiobjective programming problem under...10 bytes (13 words) - 01:24, 10 December 2023
- Justification of a Proof System for Communicating Sequential Processes 1983-01-01 Paper Contributions to the Theory of Logic Programming 1982-01-01 Paper https://portal...10 bytes (17 words) - 00:04, 12 December 2023
- multiobjective programming problem with fuzzy parameters 2018-12-07 Paper A chaos-based evolutionary algorithm for general nonlinear programming problems 2017-02-09...10 bytes (16 words) - 10:54, 7 October 2023
- standard 1997-02-27 Paper Monitors, messages, and clusters: The p4 parallel programming system 1995-01-29 Paper https://portal.mardi4nfdi.de/entity/Q4296171...10 bytes (15 words) - 18:26, 9 December 2023
- deductive systems, infon logic, and Datalog 2014-01-16 Paper On strong \(P\)-points 2013-07-05 Paper Hilbertian deductive systems, infon logic, and Datalog...10 bytes (16 words) - 21:21, 24 September 2023
