Publications

Evolving Logic Programs with Temporal Operators

AuthID
P-007-YFH

Author(s)

Alferes, JJ

Gabaldon, A

Leite, J

Editor(s)

Marcello Balduccini; Tran Cao Son

Document Type

Article

Year published

2011

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6565 LNAI, Pages: 193-212

Conference

Symposium on Constructive Mathematics in Computer Science, Date: 25 October 2010 through 26 October 2010, Location: Lexington, KY

Indexing

Scopus^®

Dblp^®/en/publications/view/260593

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-20832-4_14

DBLP: conf/birthday/AlferesGL11

SCOPUS: 2-s2.0-79956322333

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Evolving Logic Programs with Temporal Operators

Useful Links

Get Help

Federated Authentication (Click on the image)

Evolving Logic Programs with Temporal Operators

Useful Links

Get Help