{"id":"https://openalex.org/W3164549760","doi":"https://doi.org/10.13053/cys-25-2-3936","title":"Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach","display_name":"Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach","publication_year":2021,"publication_date":"2021-05-03","ids":{"openalex":"https://openalex.org/W3164549760","doi":"https://doi.org/10.13053/cys-25-2-3936","mag":"3164549760"},"language":"es","primary_location":{"id":"doi:10.13053/cys-25-2-3936","is_oa":false,"landing_page_url":"https://doi.org/10.13053/cys-25-2-3936","pdf_url":null,"source":{"id":"https://openalex.org/S61446325","display_name":"Computaci\u00f3n y Sistemas","issn_l":"1405-5546","issn":["1405-5546","2007-9737"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319599","host_organization_name":"National Polytechnic Institute","host_organization_lineage":["https://openalex.org/P4310319599"],"host_organization_lineage_names":["National Polytechnic Institute"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computaci\u00f3n y Sistemas","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014396545","display_name":"Zvi Retchkiman K\u00f6nigsberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zvi Retchkiman Konigsberg","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5014396545"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0725261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9376000165939331,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9376000165939331,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ecology","display_name":"Ecology","score":0.5975090265274048},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5495185852050781},{"id":"https://openalex.org/keywords/competitor-analysis","display_name":"Competitor analysis","score":0.5334195494651794},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5255495309829712},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5244800448417664},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4970851242542267},{"id":"https://openalex.org/keywords/niche","display_name":"Niche","score":0.4926064610481262},{"id":"https://openalex.org/keywords/predation","display_name":"Predation","score":0.4494726359844208},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4479925334453583},{"id":"https://openalex.org/keywords/ecological-niche","display_name":"Ecological niche","score":0.4141630530357361},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.27477002143859863},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.08300334215164185}],"concepts":[{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.5975090265274048},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5495185852050781},{"id":"https://openalex.org/C127576917","wikidata":"https://www.wikidata.org/wiki/Q624630","display_name":"Competitor analysis","level":2,"score":0.5334195494651794},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5255495309829712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5244800448417664},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4970851242542267},{"id":"https://openalex.org/C153991713","wikidata":"https://www.wikidata.org/wiki/Q17142856","display_name":"Niche","level":2,"score":0.4926064610481262},{"id":"https://openalex.org/C188382862","wikidata":"https://www.wikidata.org/wiki/Q170430","display_name":"Predation","level":2,"score":0.4494726359844208},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4479925334453583},{"id":"https://openalex.org/C102715595","wikidata":"https://www.wikidata.org/wiki/Q172861","display_name":"Ecological niche","level":3,"score":0.4141630530357361},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.27477002143859863},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.08300334215164185},{"id":"https://openalex.org/C185933670","wikidata":"https://www.wikidata.org/wiki/Q52105","display_name":"Habitat","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.13053/cys-25-2-3936","is_oa":false,"landing_page_url":"https://doi.org/10.13053/cys-25-2-3936","pdf_url":null,"source":{"id":"https://openalex.org/S61446325","display_name":"Computaci\u00f3n y Sistemas","issn_l":"1405-5546","issn":["1405-5546","2007-9737"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319599","host_organization_name":"National Polytechnic Institute","host_organization_lineage":["https://openalex.org/P4310319599"],"host_organization_lineage_names":["National Polytechnic Institute"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computaci\u00f3n y Sistemas","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2774948409","https://openalex.org/W3102059334","https://openalex.org/W2981567463","https://openalex.org/W2777552974","https://openalex.org/W4388745874","https://openalex.org/W1985545421","https://openalex.org/W3114103876","https://openalex.org/W2095253586","https://openalex.org/W3183539837","https://openalex.org/W2965864580"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,9,27,35,38,71,83,95,105,116,128,139,145,158,167,179,185],"modeling":[4],"and":[5,15,50,53,56,157,190],"verification":[6,208],"analysis":[7],"of":[8,22,29,33,73,87,127,144,178,187,199],"mutual":[10],"relationships":[11],"among":[12],"plants,":[13],"animals,":[14],"their":[16],"environment.":[17],"We":[18],"start":[19],"our":[20],"study":[21],"mathematical":[23],"ecology":[24],"by":[25],"considering":[26],"interaction":[28,169],"two":[30,90,108,146],"species,":[31],"one":[32,99,117,143],"which":[34,78],"predators":[36],"eat":[37],"preys":[39],"thereby":[40],"affecting":[41],"each":[42],"other,":[43],"such":[44],"pairs":[45],"exist":[46],"throughout":[47],"nature:":[48],"fish":[49],"sharks,":[51],"lions":[52],"gazelles,":[54],"birds":[55],"insects,":[57],"to":[58,93,103,112,123],"mention":[59],"some.":[60],"Not":[61],"all":[62],"species":[63,80,100,147,160,172],"form":[64],"predator-prey":[65],"relationships,":[66],"we":[67],"can":[68],"also":[69],"have":[70],"case":[72],"a":[74,121,176,197],"two-species":[75],"ecosystem":[76],"in":[77],"both":[79,132],"compete":[81],"for":[82,207,214],"same":[84,96],"limited":[85],"source":[86],"nutrients.":[88],"If":[89],"competitors":[91],"try":[92,102],"occupy":[94],"realized":[97],"niche,":[98],"will":[101,134,153,161],"eliminate":[104],"other.":[106],"Therefore,":[107],"instances":[109],"are":[110,217],"worth":[111],"be":[113,154],"considered.":[114],"On":[115,138],"hand,":[118,141],"there":[119,152],"is":[120,148,173],"need":[122],"cooperate":[124],"sharing":[125],"part":[126],"resource":[129],"so":[130],"that":[131],"organisms":[133],"benefit":[135],"from":[136],"it.":[137],"other":[140],"if":[142],"stronger":[149],"than":[150],"theother,":[151],"no":[155],"cooperation":[156],"strongest":[159],"imposeits":[162],"conditions.":[163],"In":[164],"this":[165,192],"work,":[166],"ecological":[168],"system":[170],"between":[171],"modeled":[174],"as":[175,209,211],"formula":[177],"first":[180],"order":[181],"logic.":[182],"Then,":[183],"using":[184],"concept":[186],"logic":[188],"implication,":[189],"transforming":[191],"logical":[193],"implication":[194],"relation":[195],"into":[196],"set":[198],"clauses,":[200],"called":[201],"Skolem":[202],"standard":[203],"form,":[204],"qualitative":[205],"methods":[206],"well":[210],"performance":[212],"issues,":[213],"some":[215],"queries,":[216],"applied.":[218]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}