0.5.0 (2023-05-03) Bug Fixes disable prolog warning flag in BeliefBase solver (9e19915) remove Jakta examples module (c196f91) Features add Jakta method for ASL syntax translation (dd460da) improve implementation of execution strategies, improve agents removal from environment (a7a445a
The thesis describes a new approach to declarative debugging (error diagnosis) of logic programs, in...
The BDI model provides what it is possibly one of the most promising architectures for the developme...
This paper presents a new approach to the issue of assuring rule-based systems (RBS) correctness. Th...
0.4.12 (2023-05-02) Bug Fixes Add BeliefBase solver optimization (7ca0c5f) refactor Plan implementa...
0.3.0 (2023-04-15) Bug Fixes add examples and code refactoring (0c2f797) add examples and code refa...
0.6.0 (2023-05-05) Bug Fixes definition of AddResults method in Action and implementation of it in ...
0.4.4 (2023-04-19) Bug Fixes add signing key and signing password as gradle properties env vars (32...
0.4.3 (2023-04-19) Bug Fixes add more env variables for publish task execution (af767f1) update ci ...
0.4.8 (2023-04-19) Bug Fixes correct typo in gradle configuration (ef4e665) correct typo in gradle ...
This lever deals with the realization of the iterpreter of an Driven Agent by the PROLOG implementat...
An implementation technique for abstract imterpretation is given which exploits stream communication...
0.4.6 (2023-04-19) Bug Fixes fix configuration of maven pom in release (6c143c6
guages; D.2.4 [Software Engineering] Software/Program Verification — assertion checkers, for-mal met...
The objectives of this paper are to define and classify different types of errors and artefacts that...
WOS: 000441398800008Development of software agents according to belief-desire-intention (BDI) model ...
The thesis describes a new approach to declarative debugging (error diagnosis) of logic programs, in...
The BDI model provides what it is possibly one of the most promising architectures for the developme...
This paper presents a new approach to the issue of assuring rule-based systems (RBS) correctness. Th...
0.4.12 (2023-05-02) Bug Fixes Add BeliefBase solver optimization (7ca0c5f) refactor Plan implementa...
0.3.0 (2023-04-15) Bug Fixes add examples and code refactoring (0c2f797) add examples and code refa...
0.6.0 (2023-05-05) Bug Fixes definition of AddResults method in Action and implementation of it in ...
0.4.4 (2023-04-19) Bug Fixes add signing key and signing password as gradle properties env vars (32...
0.4.3 (2023-04-19) Bug Fixes add more env variables for publish task execution (af767f1) update ci ...
0.4.8 (2023-04-19) Bug Fixes correct typo in gradle configuration (ef4e665) correct typo in gradle ...
This lever deals with the realization of the iterpreter of an Driven Agent by the PROLOG implementat...
An implementation technique for abstract imterpretation is given which exploits stream communication...
0.4.6 (2023-04-19) Bug Fixes fix configuration of maven pom in release (6c143c6
guages; D.2.4 [Software Engineering] Software/Program Verification — assertion checkers, for-mal met...
The objectives of this paper are to define and classify different types of errors and artefacts that...
WOS: 000441398800008Development of software agents according to belief-desire-intention (BDI) model ...
The thesis describes a new approach to declarative debugging (error diagnosis) of logic programs, in...
The BDI model provides what it is possibly one of the most promising architectures for the developme...
This paper presents a new approach to the issue of assuring rule-based systems (RBS) correctness. Th...
DOI
Add to ORKG