Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 445958

What Were the Last Moves?


Maliković, Marko; Čubrilo, Mirko
What Were the Last Moves? // International Review on Computers and Software (IRECOS), 5 (2010), 1; 59-70 (međunarodna recenzija, članak, znanstveni)


CROSBI ID: 445958 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
What Were the Last Moves?

Autori
Maliković, Marko ; Čubrilo, Mirko

Izvornik
International Review on Computers and Software (IRECOS) (1828-6003) 5 (2010), 1; 59-70

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Calculus of Inductive Constructions; Coq; Heuristics; Retrograde Chess Analysis; Tactics

Sažetak
This paper presents a formal system for reasoning about retrograde chess problems using Coq - a formal proof management system. The system is divided into two parts. The first part describes the environment that includes the axioms, definitions and hypotheses of chess objects, and also the functions for computing changes in states. The second part is developed for generating possible retrograde chess moves and includes Coq’s tactics combined with the use of tacticals (elements of Ltac - the Coq’s language for combining tactics). All of these tactics are defined as one Ltac function. This approach enables reasoning about retrograde chess problems with respect to reasoning about sequences of retrograde moves. In the aforementioned Ltac function, a number of heuristic solutions are implemented with the aim of solving the problems within a big search space such as retrograde chess analysis.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti



POVEZANOST RADA


Projekti:
016-0000000-3327 - Automatizacija postupaka u projektiranju informacijskih sustava (Lovrenčić, Alen, MZOS ) ( POIROT)
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Čubrilo, Mirko, MZOS ) ( POIROT)

Ustanove:
Filozofski fakultet, Rijeka,
Fakultet organizacije i informatike, Varaždin

Profili:

Avatar Url Marko Maliković (autor)

Avatar Url Mirko Čubrilo (autor)


Citiraj ovu publikaciju:

Maliković, Marko; Čubrilo, Mirko
What Were the Last Moves? // International Review on Computers and Software (IRECOS), 5 (2010), 1; 59-70 (međunarodna recenzija, članak, znanstveni)
Maliković, M. & Čubrilo, M. (2010) What Were the Last Moves?. International Review on Computers and Software (IRECOS), 5 (1), 59-70.
@article{article, author = {Malikovi\'{c}, Marko and \v{C}ubrilo, Mirko}, year = {2010}, pages = {59-70}, keywords = {Calculus of Inductive Constructions, Coq, Heuristics, Retrograde Chess Analysis, Tactics}, journal = {International Review on Computers and Software (IRECOS)}, volume = {5}, number = {1}, issn = {1828-6003}, title = {What Were the Last Moves?}, keyword = {Calculus of Inductive Constructions, Coq, Heuristics, Retrograde Chess Analysis, Tactics} }
@article{article, author = {Malikovi\'{c}, Marko and \v{C}ubrilo, Mirko}, year = {2010}, pages = {59-70}, keywords = {Calculus of Inductive Constructions, Coq, Heuristics, Retrograde Chess Analysis, Tactics}, journal = {International Review on Computers and Software (IRECOS)}, volume = {5}, number = {1}, issn = {1828-6003}, title = {What Were the Last Moves?}, keyword = {Calculus of Inductive Constructions, Coq, Heuristics, Retrograde Chess Analysis, Tactics} }

Časopis indeksira:


  • Scopus


Uključenost u ostale bibliografske baze podataka::


  • Compendex (EI Village)
  • Cambridge Scientific Abstracts (CSA/CIG)
  • Academic Search Complete (EBSCO Information Services)
  • Copernicus





Contrast
Increase Font
Decrease Font
Dyslexic Font