A modelling tool based on mathematical logic T-PROLOG

QR kód

A modelling tool based on mathematical logic T-PROLOG

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Futó István Szeredi János Szenes Katalin
Dokumentumtípus:	Cikk
Megjelent:	1981
Sorozat:	Acta cybernetica 5 No. 3
Kulcsszavak:	Számítástechnika, Kibernetika, Matematika
Tárgyszavak:	Természettudományok Matematika Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12324

Hasonló tételek

Optimization of multivalued logical functions based on evaluation graphs
Szerző: Varga Antal
Megjelent: (1986)

Explainable Neural Networks Based on Fuzzy Logic and Multi-criteria Decision Tools
Szerző: Dombi József, et al.
Megjelent: (2021)

The logic of aggregated data
Szerző: Gelsema Tjalling
Megjelent: (2019)

Mathematical models fof simulation of continuous grinding process with recirculation
Szerző: Buzáné Kis Piroska, et al.
Megjelent: (2002)

FDBG, a CLP(FD) debugger for SICtus prolog [abstract] /
Szerző: Hanák Dávid, et al.
Megjelent: (2002)

Density of tautologies in logics with one variable
Szerző: Aszalós László, et al.
Megjelent: (2012)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

A resolution based description logic calculus
Szerző: Zombori Zsolt
Megjelent: (2010)

How to implement MCDM tools and continuous logic into neural computation? Towards better interpretability of neural networks /
Szerző: Csiszár Orsolya, et al.
Megjelent: (2020)

Error diagnosis in prolog programs a critical view : [abstract] /
Szerző: Kókai Gabriella
Megjelent: (1998)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Generation of test cases for simple Prolog programs
Szerző: Kilpeläinen Pekka, et al.
Megjelent: (1990)

Common logic [abstract] /
Szerző: Demián Tamás
Megjelent: (2010)

Barcode detection using local analysis, mathematical morphology, and clustering
Szerző: Bodnár Péter, et al.
Megjelent: (2013)

On the mathematical logic [2.]
Szerző: Kalmár László

On the mathematical logic [1.]
Szerző: Kalmár László

Comparative study of four UML based CASE tools [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2002)

Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars
Szerző: Álvarez Gil R.
Megjelent: (1986)

Mathematical models and methodologies in batch process scheduling [abstract] /
Szerző: Hegyháti Máté
Megjelent: (2010)

Hardware-Aware Model Optimization Tool for Embedded Devices
Szerző: Cagri Ozcinar, et al.
Megjelent: (2021)

Mathematical and statistical modelling in medicine
Szerző: Nyári Tibor
Megjelent: (2011)

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)

The debug slicing of logic programs
Szerző: Szilágyi Gyöngyi, et al.
Megjelent: (2001)

Interpretable neural networks based on continuous-valued logic and multicriteria decision operators
Szerző: Csiszár Orsolya, et al.
Megjelent: (2020)

On the mathematical logic Peking, 1958. nov. 28. 15.00 /
Szerző: Kalmár László

Debug slicing of logic programs [abstract] /
Szerző: Harmath László, et al.
Megjelent: (2000)

Developing Excel VBA Functions for the Mathematical Modeling of Three-Dimensional Vectors
Szerző: Fabulya Zoltán, et al.
Megjelent: (2024)

Implemeting a component-based tool for interactive synthesis of UML statechart diagrams
Szerző: Koskinen Johannes, et al.
Megjelent: (2002)

An ontology segmentation tool
Szerző: Simonyi András, et al.
Megjelent: (2010)

Comparing ML-Based Predictions and Static Analyzer Tools for Vulnerability Detection
Szerző: Vándor Norbert, et al.
Megjelent: (2022)

Logical foundations for a general theory of systems
Szerző: Gergely Tamás, et al.
Megjelent: (1975)

Market oriented integration of MS-Windows-based tools for distributed decision support
Szerző: Biró M., et al.
Megjelent: (1993)

On the complexity of dynamic tests for logic functions
Szerző: Vardanân V. A.
Megjelent: (1994)

The logic of knights, knaves, normals and mutes
Szerző: Aszalós László
Megjelent: (2000)

Relational databases and homogeneity in logics with counting
Szerző: Turull Torres José María
Megjelent: (2006)

Towards a Block-Level ML-Based Python Vulnerability Detection Tool
Szerző: Bagheri Amirreza, et al.
Megjelent: (2022)

Mathematical description of brain states
Szerző: John E. R., et al.
Megjelent: (1972)

Nonlinear model predictive control with logic constraints for COVID-19 management
Szerző: Péni Tamás, et al.
Megjelent: (2020)